Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Symbolic Model Checking

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Symbolic Model Checking Kenneth L. McMillan
Koda Libristo: 42163944
Založba Kluwer Academic Publishers, julij 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Celoten opis
? points 233 b
95.94 €
Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Necromáquina ROSSANA REGUILLO / Knjiga Mehka
common.buy 22.32 €
Top
Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021 Grzegorz Andrzejewski / Knjiga Mehka
common.buy 17.09 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Knjiga Trda
common.buy 56.51 €
Enigme des vacances : The captain is missing! 5e/4e Sylvie Rouch / Knjiga Trda
common.buy 8.24 €
dama dei gelsomini Lisa Laffi / Knjiga Mehka
common.buy 18.09 €
Schau genau, per St Igra/Igrača Igra
common.buy 14.37 €
Sputnik Christian Berkel / Zvok Zvočni CD
common.buy 22.02 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Knjiga Mehka
common.buy 12.67 €
Belarta Rikolto 2025. Premiitaj Verkoj de la Belartaj Konkursoj de Universala Esperanto-Asocio Miguel Fernández / Knjiga Mehka
common.buy 16.38 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Knjiga Mehka
common.buy 20.21 €
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Knjiga Mehka
common.buy 29.36 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Knjiga Mehka
common.buy 26.84 €
Tiny Music...Songs From The Vatican Gift Shop Stone Temple Pilots / Zvok Zvočni CD
common.buy 25.94 €
Vous et votre voiture / Knjiga Mehka
common.buy 34.29 €
Nous n'avons pas changé Lorraine Fouchet / Knjiga Mehka
common.buy 22.42 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Knjiga Mehka
common.buy 13.97 €
Polacy w służbie Moskali Chwalba Andrzej / Knjiga Mehka
common.buy 28.35 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Knjiga Mehka
common.buy 36.21 €
Yoga-Anatomie 3D Ray Long / Knjiga Mehka
common.buy 21.31 €
Malbuch für Geist & Seele Dana Zimmermann / Knjiga Mehka
common.buy 8.34 €
Introdução à Química dos Alimentos Paulo Figueiredo / Knjiga Mehka
common.buy 34.99 €
Jenny Fanny Lewald / Knjiga Mehka
common.buy 15.08 €
Gog Et Magog Louis-G / Knjiga Mehka
common.buy 24.33 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Knjiga Mehka
common.buy 46.56 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Symbolic Model Checking
Avtor Kenneth L. McMillan
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 1993
Število strani 194
EAN 9780792393801
ISBN 0792393805
Koda Libristo 42163944
Založba Kluwer Academic Publishers
Teža 426
Mere 179 x 229 x 18

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Book of Bees Piotr Socha / Knjiga Trda
common.buy 19.70 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Knjiga Mehka
common.buy 21.02 €
God's Words Ailsa Warburton / Knjiga Trda
common.buy 37.30 €
Heart of Valor: Gay Romance Dj Monroe / Knjiga Mehka
common.buy 8.94 €
Place of the Beautiful in the City Plan John Nolen / Knjiga Trda
common.buy 25.45 €
Songs From the Plays of Shakespeare Willhelm Shakespear / Knjiga Mehka
common.buy 14.27 €
Prima Facie Gunnar Farinha / Knjiga Mehka
common.buy 9.75 €
After Midnight: City of Sin Ursula Sinclair / Knjiga Mehka
common.buy 8.04 €
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA CHRISTO ANAST [DAKO / Knjiga Trda
common.buy 30.28 €
Making Dances That Matter Anna Halprin / Knjiga Mehka
common.buy 20.71 €
Comparative Constitutionalism in South Asia (OIP) Sunil Khilnani / Knjiga Mehka
common.buy 26.54 €
How to Stop Living Paycheck to Paycheck Phil Wall / Knjiga Mehka
common.buy 16.08 €
Kmalu
MBS Crown / Knjiga Mehka
common.buy 13.06 €
Great American Decades Puzzle Book 2000s / Knjiga Mehka
common.buy 8.04 €
Pilgrim Songs In Cloud And Sunshine (1870) Newman Hall / Knjiga Mehka
common.buy 23.63 €
Confessions Of An Opera Singer (1918) Kathleen Howard / Knjiga Trda
common.buy 42.45 €
Game of Sales DAVID PERRY / Knjiga Mehka
common.buy 11.96 €
Clip Studio Paint by Example Ludovico Serra / Knjiga Mehka
common.buy 57.72 €
Encyclopaedia of World Bridges David McFetrich / Knjiga Trda
common.buy 34.19 €
Irish Leprechaun Stories Bairbre McCarthy / E-knjiga Adobe ePub DRM
common.buy 3.61 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-knjiga Adobe ePub DRM
common.buy 101.21 €
After Marriage Equality Carlos A. Ball / Knjiga Trda
common.buy 107.20 €
Principles of Marketing Avon College Press / Knjiga Mehka
common.buy 156.59 €
Atomic Properties in Hot Plasmas Jacques Bauche / Knjiga Trda
common.buy 96.84 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?