Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Symbolic Model Checking

Language EnglishEnglish
Book Hardback
Book Symbolic Model Checking Kenneth L. McMillan
Libristo code: 42163944
Publishers Kluwer Academic Publishers, July 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Full description
? points 249 b
36 610 Ft
In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

Sputnik Christian Berkel / Audio Audio CD
common.buy 9 238 Ft
Schau genau, per St Game/Toy Game
common.buy 6 710 Ft
Das Fachbuch zum Taschenrechner Rebell SC2060S / Book Paperback
common.buy 5 256 Ft
Necromáquina ROSSANA REGUILLO / Book Paperback
common.buy 8 780 Ft
Cycle de l'Atlantide, tome 1 Ariel Riseln / Book Paperback
common.buy 8 002 Ft
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Book Paperback
common.buy 11 498 Ft
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Book Paperback
common.buy 10 572 Ft
Vous et votre voiture / Book Paperback
common.buy 13 846 Ft
Polacy w służbie Moskali Chwalba Andrzej / Book Paperback
common.buy 11 382 Ft
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Book Paperback
common.buy 14 656 Ft
Malbuch für Geist & Seele Dana Zimmermann / Book Paperback
common.buy 3 320 Ft
Introdução à Química dos Alimentos Paulo Figueiredo / Book Paperback
common.buy 14 554 Ft
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Book Paperback
common.buy 5 492 Ft
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Book Paperback
common.buy 18 444 Ft
Jenny Fanny Lewald / Book Paperback
common.buy 6 270 Ft
Yoga-Anatomie 3D Ray Long / Book Paperback
common.buy 8 252 Ft
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Book Hardback
common.buy 23 686 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Symbolic Model Checking
Author Kenneth L. McMillan
Language English
Binding Book - Hardback
Date of issue 1993
Number of pages 194
EAN 9780792393801
ISBN 0792393805
Libristo code 42163944
Publishers Kluwer Academic Publishers
Weight 426
Dimensions 179 x 229 x 18

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Book of Bees Piotr Socha / Book Hardback
common.buy 8 048 Ft
Complete Account Of The Settlement At Port Jackson Watkin Tench / Book Paperback
common.buy 7 344 Ft
South Asian Politics and Religion Donald Eugene Smith / Book Hardback
common.buy 82 218 Ft
Clip Studio Paint by Example Ludovico Serra / Book Paperback
common.buy 23 362 Ft
Encyclopaedia of World Bridges David McFetrich / Book Hardback
common.buy 13 980 Ft
Great American Decades Puzzle Book 2000s / Book Paperback
common.buy 3 214 Ft
Coming soon
MBS Crown / Book Paperback
common.buy 5 432 Ft
Heart of Valor: Gay Romance Dj Monroe / Book Paperback
common.buy 3 626 Ft
Prima Facie Gunnar Farinha / Book Paperback
common.buy 3 964 Ft
Place of the Beautiful in the City Plan John Nolen / Book Hardback
common.buy 10 308 Ft
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 37 694 Ft
Atomic Properties in Hot Plasmas Jacques Bauche / Book Hardback
common.buy 39 764 Ft
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Book Paperback
common.buy 10 308 Ft
Surgery of the Stomach Horst D. Becker / Book Paperback
common.buy 39 764 Ft
Top
NKJV, Simply Charming Bible Thomas Nelson / Book Hardback
common.buy 9 238 Ft
Voicework in Music Therapy Felicity Baker / Book Paperback
common.buy 23 802 Ft
Usborne Geography Encyclopedia Gillian Doherty / Book Paperback
common.buy 6 858 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?