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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
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.23 €
Vanjske zalihe Šaljemo za 10-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Sputnik Christian Berkel / Audio Audio CD
common.buy 23.69 €
Schau genau, per St Igra/Igračka Igra
common.buy 17.92 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Knjiga Meki uvez
common.buy 13.56 €
Necromáquina ROSSANA REGUILLO / Knjiga Meki uvez
common.buy 23.69 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Knjiga Meki uvez
common.buy 20.85 €
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Knjiga Meki uvez
common.buy 31.08 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Knjiga Meki uvez
common.buy 28.55 €
Vous et votre voiture / Knjiga Meki uvez
common.buy 37.36 €
Polacy w służbie Moskali Chwalba Andrzej / Knjiga Meki uvez
common.buy 30.78 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Knjiga Meki uvez
common.buy 38.27 €
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.46 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Knjiga Meki uvez
common.buy 14.88 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Knjiga Meki uvez
common.buy 49.42 €
Jenny Fanny Lewald / Knjiga Meki uvez
common.buy 16.20 €
Yoga-Anatomie 3D Ray Long / Knjiga Meki uvez
common.buy 21.16 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Knjiga Tvrdi uvez
common.buy 60.66 €

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 19.33 €
South Asian Politics and Religion Donald Eugene Smith / Knjiga Tvrdi uvez
common.buy 216.03 €
Clip Studio Paint by Example Ludovico Serra / Knjiga Meki uvez
common.buy 61.06 €
Encyclopaedia of World Bridges David McFetrich / Knjiga Tvrdi uvez
common.buy 36.96 €
Great American Decades Puzzle Book 2000s / Knjiga Meki uvez
common.buy 8.40 €
Pripremamo
MBS Crown / Knjiga Meki uvez
common.buy 13.76 €
Heart of Valor: Gay Romance Dj Monroe / Knjiga Meki uvez
common.buy 9.41 €
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.93 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-knjiga Adobe ePub DRM
common.buy 101.37 €
Atomic Properties in Hot Plasmas Jacques Bauche / Knjiga Tvrdi uvez
common.buy 103.10 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Knjiga Meki uvez
common.buy 26.93 €
Surgery of the Stomach Horst D. Becker / Knjiga Meki uvez
common.buy 103.10 €
Top
NKJV, Simply Charming Bible Thomas Nelson / Knjiga Tvrdi uvez
common.buy 24.40 €
Voicework in Music Therapy Felicity Baker / Knjiga Meki uvez
common.buy 67.34 €
Usborne Geography Encyclopedia Gillian Doherty / Knjiga Meki uvez
common.buy 18.12 €

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