Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Symbolic Model Checking

Limba englezăengleză
Carte Copertă tare
Carte Symbolic Model Checking Kenneth L. McMillan
Codul Libristo: 42163944
Editura Kluwer Academic Publishers, iulie 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Descrierea completă
? points 237 b
515.43 lei
În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Sputnik Christian Berkel / Audio Audio CD
common.buy 131.77 lei
Schau genau, per St Joc / Jucărie Joc
common.buy 99.45 lei
Das Fachbuch zum Taschenrechner Rebell SC2060S / Carte Carte broșată
common.buy 75.37 lei
Necromáquina ROSSANA REGUILLO / Carte Carte broșată
common.buy 129.79 lei
Cycle de l'Atlantide, tome 1 Ariel Riseln / Carte Carte broșată
common.buy 114.88 lei
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Carte Carte broșată
common.buy 170.03 lei
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Carte Carte broșată
common.buy 156.27 lei
Vous et votre voiture / Carte Carte broșată
common.buy 204.75 lei
Polacy w służbie Moskali Chwalba Andrzej / Carte Carte broșată
common.buy 168.26 lei
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Carte Carte broșată
common.buy 210.79 lei
Malbuch für Geist & Seele Dana Zimmermann / Carte Carte broșată
common.buy 49.09 lei
Introdução à Química dos Alimentos Paulo Figueiredo / Carte Carte broșată
common.buy 208.19 lei
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Carte Carte broșată
common.buy 81.20 lei
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Carte Carte broșată
common.buy 272.41 lei
Jenny Fanny Lewald / Carte Carte broșată
common.buy 89.86 lei
Yoga-Anatomie 3D Ray Long / Carte Carte broșată
common.buy 117.90 lei
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Carte Copertă tare
common.buy 338.19 lei

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

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Symbolic Model Checking
Autor Kenneth L. McMillan
Limba engleză
Legare Carte - Copertă tare
Data publicării 1993
Număr pagini 194
EAN 9780792393801
ISBN 0792393805
Codul Libristo 42163944
Editura Kluwer Academic Publishers
Greutatea 426
Dimensiuni 179 x 229 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Book of Bees Piotr Socha / Carte Copertă tare
common.buy 118.94 lei
Complete Account Of The Settlement At Port Jackson Watkin Tench / Carte Carte broșată
common.buy 105.91 lei
South Asian Politics and Religion Donald Eugene Smith / Carte Copertă tare
common.buy 1 184.75 lei
Clip Studio Paint by Example Ludovico Serra / Carte Carte broșată
common.buy 336.11 lei
Encyclopaedia of World Bridges David McFetrich / Carte Copertă tare
common.buy 206.73 lei
Great American Decades Puzzle Book 2000s / Carte Carte broșată
common.buy 46.28 lei
Curând
MBS Crown / Carte Carte broșată
common.buy 77.24 lei
Heart of Valor: Gay Romance Dj Monroe / Carte Carte broșată
common.buy 52.12 lei
Prima Facie Gunnar Farinha / Carte Carte broșată
common.buy 57.12 lei
Place of the Beautiful in the City Plan John Nolen / Carte Copertă tare
common.buy 148.24 lei
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 557.34 lei
Atomic Properties in Hot Plasmas Jacques Bauche / Carte Copertă tare
common.buy 570.37 lei
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Carte Carte broșată
common.buy 148.24 lei
Surgery of the Stomach Horst D. Becker / Carte Carte broșată
common.buy 570.37 lei
Top
NKJV, Simply Charming Bible Thomas Nelson / Carte Copertă tare
common.buy 136.56 lei
Voicework in Music Therapy Felicity Baker / Carte Carte broșată
common.buy 353.42 lei
Usborne Geography Encyclopedia Gillian Doherty / Carte Carte broșată
common.buy 101.43 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?