Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274322
Price: 19902 HUF
Availability: InStock
Author: Costas Courcoubetis
ISBN: 9783540569220

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Costas Courcoubetis

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 05274322

Kiadó Springer, Berlin, november 1992

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in... Teljes leírás

Libristo kód: 05274322

136 b

19 902 Ft

Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

LiteraNova - Unterrichtsmodelle mit Kopiervorlagen Thomas Brussig

Puha kötésű

8 500 Ft

Powerless - Chestnut Springs - Tome 3 Elsie Silver

Puha kötésű

4 178 Ft

Ejercicios espirituales para peregrinos de esperanza DAVID CABRERA

Puha kötésű

7 548 Ft

Programmieren lehren heißt Denken lehren Poliana Moderno

Puha kötésű

13 833 Ft

Ausdruck der AEquivalenzformen in einem Hauff-Marchen Markovicsné Gál Adrienne

Puha kötésű

17 720 Ft

CTG-Praxis Stephan Schmidt

Puha kötésű

11 813 Ft

Klasická teoretická fyzika Igor Jex

Puha kötésű

4 968 Ft

Brak tchu. Edycja kolekcjonerska George Orwell Könyv

Kemény kötésű

5 833 Ft

Analisi canonica della riserva della Confermazione Emanuele Lanza

Puha kötésű

9 364 Ft

Španělská občanská válka 1936-1939 Könyv

Puha kötésű

2 154 Ft

heldenhafte Lubecker Sheltie-Boygroup Gerhard Jeschull

Puha kötésű

7 330 Ft

Sketchnotes - Sketchnotes als Lerntechnik Jutta Korth

Puha kötésű

7 756 Ft

Lebensspuren Michael Eisner

Puha kötésű

8 675 Ft

Alice in Borderland 03 ASO HARO

Puha kötésű

6 332 Ft

4 Classic Albums B. B. King

Audio CD

2 403 Ft

Guide du pisteur débutant Vincent Albouy

Puha kötésű

6 142 Ft

Le mythe Haussmann Pinon

Puha kötésű

7 312 Ft

Approche psychomotrice de la personne obèse GAUMET

Puha kötésű

10 140 Ft

Œuvres complètes Lautréamont

Kemény kötésű

22 467 Ft

Sifali Salavatlar

Puha kötésű

3 929 Ft

Wiki-Technologie als Instrument des kollaborativen Wissensmanagements Kristina Sommer

Puha kötésű

3 545 Ft

Schatten über Marrakesch Jens Plassmann

Puha kötésű

5 260 Ft

Omega 3 Fettsäuren und wie sie wirken Christopher Schutze

Puha kötésű

7 418 Ft

Tarot Bułhakowa Edelman Ada

Puha kötésű

3 563 Ft

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in Crete, Greece, in§June/July 1993.§The objective of the CAV conferences is to bring together§researchers and practitioners interested in the development§anduse of methods, tools, and theories for the§computer-aided verification of concurrent systems. The§conferences provide an opportunity for comparing various§verfication methods and tools that can be used to assist the§applications designer. Emphasis is placed on new research§results and the application of existing methods to real§verification problems.§The volume contains abstracts of three invited lectures and§full versions of 37 contributed papers selected from 84§submissions.The contributions are grouped into sections on§hardware verification with BDDs, methods and tools, theorem§proving, analysis of real-time systems, process algebras and§calculi, partial orders, and exploiting symmetry.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Computer Aided Verification

Szerző Costas Courcoubetis

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 1993

Oldalszám 510

EAN 9783540569220

ISBN 3540569227

Libristo kód 05274322

Kiadó Springer, Berlin

Súly 726

Méretek 155 x 235 x 26

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére