Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Symbolic Model Checking

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Symbolic Model Checking Kenneth L. McMillan
Libristo kód: 42163944
Nakladateľstvo Kluwer Academic Publishers, júl 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Celý popis
? points 237 b
97.99 €
Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Symbolic Model Checking
Autor Kenneth L. McMillan
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 1993
Počet strán 194
EAN 9780792393801
ISBN 0792393805
Libristo kód 42163944
Nakladateľstvo Kluwer Academic Publishers
Váha 426
Rozmery 179 x 229 x 18

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Elektronika: obvody a komponenty
Výpočtové a informačné technológie > Informatika
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Book of Bees Piotr Socha / Kniha Pevná
common.buy 22.72 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Kniha Brožovaná
common.buy 21.11 €
South Asian Politics and Religion Donald Eugene Smith / Kniha Pevná
common.buy 215.49 €
Clip Studio Paint by Example Ludovico Serra / Kniha Brožovaná
common.buy 57.98 €
Encyclopaedia of World Bridges David McFetrich / Kniha Pevná
common.buy 36.87 €
Great American Decades Puzzle Book 2000s / Kniha Brožovaná
common.buy 8.38 €
Pripravujeme
MBS Crown / Kniha Brožovaná
common.buy 13.73 €
Heart of Valor: Gay Romance Dj Monroe / Kniha Brožovaná
common.buy 8.98 €
Prima Facie Gunnar Farinha / Kniha Brožovaná
common.buy 9.79 €
Place of the Beautiful in the City Plan John Nolen / Kniha Pevná
common.buy 25.55 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-kniha Adobe ePub DRM
common.buy 106.07 €
Atomic Properties in Hot Plasmas Jacques Bauche / Kniha Pevná
common.buy 102.84 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Kniha Brožovaná
common.buy 25.55 €
Surgery of the Stomach Horst D. Becker / Kniha Brožovaná
common.buy 102.84 €
Top
NKJV, Simply Charming Bible Thomas Nelson / Kniha Pevná
common.buy 24.54 €
Voicework in Music Therapy Felicity Baker / Kniha Brožovaná
common.buy 66.87 €
Usborne Geography Encyclopedia Gillian Doherty / Kniha Brožovaná
common.buy 17.17 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?