Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Symbolic Model Checking

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Symbolic Model Checking Kenneth L. McMillan
Libristo kód: 42163944
Nakladatelství Kluwer Academic Publishers, červenec 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Celý popis
? points 226 b
2 255 Kč
Skladem u dodavatele Odesíláme za 10-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Sputnik Christian Berkel / Audio Audio CD
common.buy 536 Kč
Schau genau, per St Hra/Hračka Hra
common.buy 457 Kč
Das Fachbuch zum Taschenrechner Rebell SC2060S / Kniha Brožovaná
common.buy 308 Kč
Necromáquina ROSSANA REGUILLO / Kniha Brožovaná
common.buy 598 Kč
Cycle de l'Atlantide, tome 1 Ariel Riseln / Kniha Brožovaná
common.buy 478 Kč
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Kniha Brožovaná
common.buy 783 Kč
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Kniha Brožovaná
common.buy 720 Kč
Vous et votre voiture / Kniha Brožovaná
common.buy 943 Kč
Polacy w służbie Moskali Chwalba Andrzej / Kniha Brožovaná
common.buy 775 Kč
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Kniha Brožovaná
common.buy 881 Kč
Malbuch für Geist & Seele Dana Zimmermann / Kniha Brožovaná
common.buy 226 Kč
Introdução à Química dos Alimentos Paulo Figueiredo / Kniha Brožovaná
common.buy 853 Kč
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Kniha Brožovaná
common.buy 374 Kč
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Kniha Brožovaná
common.buy 1 076 Kč
Jenny Fanny Lewald / Kniha Brožovaná
common.buy 368 Kč
Yoga-Anatomie 3D Ray Long / Kniha Brožovaná
common.buy 480 Kč
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Kniha Pevná
common.buy 1 375 Kč

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Symbolic Model Checking
Autor Kenneth L. McMillan
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1993
Počet stran 194
EAN 9780792393801
ISBN 0792393805
Libristo kód 42163944
Nakladatelství Kluwer Academic Publishers
Váha 426
Rozměry 179 x 229 x 18

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Book of Bees Piotr Socha / Kniha Pevná
common.buy 445 Kč
Complete Account Of The Settlement At Port Jackson Watkin Tench / Kniha Brožovaná
common.buy 445 Kč
South Asian Politics and Religion Donald Eugene Smith / Kniha Pevná
common.buy 4 984 Kč
Clip Studio Paint by Example Ludovico Serra / Kniha Brožovaná
common.buy 1 404 Kč
Encyclopaedia of World Bridges David McFetrich / Kniha Pevná
common.buy 779 Kč
Great American Decades Puzzle Book 2000s / Kniha Brožovaná
common.buy 194 Kč
Připravujeme
MBS Crown / Kniha Brožovaná
common.buy 309 Kč
Heart of Valor: Gay Romance Dj Monroe / Kniha Brožovaná
common.buy 217 Kč
Prima Facie Gunnar Farinha / Kniha Brožovaná
common.buy 237 Kč
Place of the Beautiful in the City Plan John Nolen / Kniha Pevná
common.buy 619 Kč
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-kniha Adobe ePub DRM
common.buy 2 567 Kč
Atomic Properties in Hot Plasmas Jacques Bauche / Kniha Pevná
common.buy 2 357 Kč
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Kniha Brožovaná
common.buy 619 Kč
Surgery of the Stomach Horst D. Becker / Kniha Brožovaná
common.buy 2 357 Kč
Top
NKJV, Simply Charming Bible Thomas Nelson / Kniha Pevná
common.buy 511 Kč
Voicework in Music Therapy Felicity Baker / Kniha Brožovaná
common.buy 1 621 Kč
Usborne Geography Encyclopedia Gillian Doherty / Kniha Brožovaná
common.buy 380 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?