Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Symbolic Model Checking

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Symbolic Model Checking Kenneth L. McMillan
Libristo kod: 42163944
Nakladnici Kluwer Academic Publishers, srpanj 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Cijeli opis
? points 237 b
98.25 €
Vanjske zalihe Šaljemo za 10-18 dana

Do 30 dana za povrat

Kupci su kupili i

Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021 Grzegorz Andrzejewski / Knjiga Meki uvez
common.buy 18.63 €
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Knjiga Meki uvez
common.buy 29.67 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Knjiga Tvrdi uvez
common.buy 60.67 €
Necromáquina ROSSANA REGUILLO / Knjiga Meki uvez
common.buy 22.48 €
Polacy w służbie Moskali Chwalba Andrzej / Knjiga Meki uvez
common.buy 30.79 €
Schau genau, per St Igra/Igračka Igra
common.buy 16.30 €
Sputnik Christian Berkel / Audio Audio CD
common.buy 23.69 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Knjiga Meki uvez
common.buy 13.56 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Knjiga Meki uvez
common.buy 20.86 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Knjiga Meki uvez
common.buy 27.04 €
Vous et votre voiture / Knjiga Meki uvez
common.buy 37.17 €
Enigme des vacances : The captain is missing! 5e/4e Sylvie Rouch / Knjiga Tvrdi uvez
common.buy 9.61 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Knjiga Meki uvez
common.buy 38.28 €
Yoga-Anatomie 3D Ray Long / Knjiga Meki uvez
common.buy 22.99 €
Malbuch für Geist & Seele Dana Zimmermann / Knjiga Meki uvez
common.buy 8.90 €
Introdução à Química dos Alimentos Paulo Figueiredo / Knjiga Meki uvez
common.buy 37.47 €
Jenny Fanny Lewald / Knjiga Meki uvez
common.buy 16.20 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Knjiga Meki uvez
common.buy 14.17 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Knjiga Meki uvez
common.buy 46.89 €
Gog Et Magog Louis-G / Knjiga Meki uvez
common.buy 24.10 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Symbolic Model Checking
Autor Kenneth L. McMillan
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 1993
Broj stranica 194
EAN 9780792393801
ISBN 0792393805
Libristo kod 42163944
Nakladnici Kluwer Academic Publishers
Težina 426
Dimenzije 179 x 229 x 18

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Book of Bees Piotr Socha / Knjiga Tvrdi uvez
common.buy 21.26 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Knjiga Meki uvez
common.buy 22.18 €
South Asian Politics and Religion Donald Eugene Smith / Knjiga Tvrdi uvez
common.buy 297.92 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-knjiga Adobe ePub DRM
common.buy 103.02 €
Encyclopaedia of World Bridges David McFetrich / Knjiga Tvrdi uvez
common.buy 36.97 €
Clip Studio Paint by Example Ludovico Serra / Knjiga Meki uvez
common.buy 61.08 €
Confessions Of An Opera Singer (1918) Kathleen Howard / Knjiga Tvrdi uvez
common.buy 44.97 €
Great American Decades Puzzle Book 2000s / Knjiga Meki uvez
common.buy 8.40 €
Pripremamo
MBS Crown / Knjiga Meki uvez
common.buy 13.77 €
How to Stop Living Paycheck to Paycheck Phil Wall / Knjiga Meki uvez
common.buy 17.31 €
Heart of Valor: Gay Romance Dj Monroe / Knjiga Meki uvez
common.buy 9.41 €
Top
Making Dances That Matter Anna Halprin / Knjiga Meki uvez
common.buy 21.67 €
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA CHRISTO ANAST [DAKO / Knjiga Tvrdi uvez
common.buy 32.20 €
Prima Facie Gunnar Farinha / Knjiga Meki uvez
common.buy 10.32 €
Place of the Beautiful in the City Plan John Nolen / Knjiga Tvrdi uvez
common.buy 26.94 €
Top Pripremamo
Simon Leach's Pottery Handbook Simon Leach / Knjiga Tvrdi uvez
common.buy 30.69 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Knjiga Meki uvez
common.buy 26.94 €
Florida Gl Jahoda / Knjiga Meki uvez
common.buy 18.73 €
Surgery of the Stomach Horst D. Becker / Knjiga Meki uvez
common.buy 103.12 €
Top
NKJV, Simply Charming Bible Thomas Nelson / Knjiga Tvrdi uvez
common.buy 24.61 €
Atomic Properties in Hot Plasmas Jacques Bauche / Knjiga Tvrdi uvez
common.buy 103.12 €
Usborne Geography Encyclopedia Gillian Doherty / Knjiga Meki uvez
common.buy 18.12 €
Readings for Reflective Teaching in Early Education Dr Jennifer Colwell / Knjiga Meki uvez
common.buy 44.16 €
Voicework in Music Therapy Felicity Baker / Knjiga Meki uvez
common.buy 64.93 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?