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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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
37 936 Ft
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Book Paperback
common.buy 11 866 Ft
Polacy w służbie Moskali Chwalba Andrzej / Book Paperback
common.buy 11 794 Ft
Necromáquina ROSSANA REGUILLO / Book Paperback
common.buy 9 069 Ft
Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021 Grzegorz Andrzejewski / Book Paperback
common.buy 7 332 Ft
Schau genau, per St Game/Toy Game
common.buy 5 888 Ft
Sputnik Christian Berkel / Audio Audio CD
common.buy 9 573 Ft
Das Fachbuch zum Taschenrechner Rebell SC2060S / Book Paperback
common.buy 5 446 Ft
Belarta Rikolto 2025. Premiitaj Verkoj de la Belartaj Konkursoj de Universala Esperanto-Asocio Miguel Fernández / Book Paperback
common.buy 6 876 Ft
Cycle de l'Atlantide, tome 1 Ariel Riseln / Book Paperback
common.buy 8 292 Ft
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Book Paperback
common.buy 10 926 Ft
Tiny Music...Songs From The Vatican Gift Shop Stone Temple Pilots / Audio Audio CD
common.buy 10 864 Ft
Vous et votre voiture / Book Paperback
common.buy 14 213 Ft
Enigme des vacances : The captain is missing! 5e/4e Sylvie Rouch / Book Hardback
common.buy 3 637 Ft
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Book Hardback
common.buy 24 544 Ft
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Book Paperback
common.buy 19 064 Ft
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Book Paperback
common.buy 15 187 Ft
Yoga-Anatomie 3D Ray Long / Book Paperback
common.buy 8 887 Ft
Malbuch für Geist & Seele Dana Zimmermann / Book Paperback
common.buy 3 349 Ft
Introdução à Química dos Alimentos Paulo Figueiredo / Book Paperback
common.buy 15 081 Ft
Jenny Fanny Lewald / Book Paperback
common.buy 6 497 Ft
Gog Et Magog Louis-G / Book Paperback
common.buy 9 314 Ft
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Book Paperback
common.buy 5 662 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 325 Ft
Complete Account Of The Settlement At Port Jackson Watkin Tench / Book Paperback
common.buy 8 795 Ft
God's Words Ailsa Warburton / Book Hardback
common.buy 14 150 Ft
Heart of Valor: Gay Romance Dj Monroe / Book Paperback
common.buy 3 757 Ft
Place of the Beautiful in the City Plan John Nolen / Book Hardback
common.buy 10 681 Ft
Songs From the Plays of Shakespeare Willhelm Shakespear / Book Paperback
common.buy 6 147 Ft
Prima Facie Gunnar Farinha / Book Paperback
common.buy 4 107 Ft
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA CHRISTO ANAST [DAKO / Book Hardback
common.buy 12 903 Ft
Top
Making Dances That Matter Anna Halprin / Book Paperback
common.buy 8 767 Ft
Comparative Constitutionalism in South Asia (OIP) Sunil Khilnani / Book Paperback
common.buy 11 199 Ft
How to Stop Living Paycheck to Paycheck Phil Wall / Book Paperback
common.buy 6 986 Ft
Coming soon
MBS Crown / Book Paperback
common.buy 5 629 Ft
Great American Decades Puzzle Book 2000s / Book Paperback
common.buy 3 316 Ft
Pilgrim Songs In Cloud And Sunshine (1870) Newman Hall / Book Paperback
common.buy 9 937 Ft
Confessions Of An Opera Singer (1918) Kathleen Howard / Book Hardback
common.buy 17 802 Ft
Game of Sales DAVID PERRY / Book Paperback
common.buy 5 206 Ft
Clip Studio Paint by Example Ludovico Serra / Book Paperback
common.buy 24 208 Ft
Top
Encyclopaedia of World Bridges David McFetrich / Book Hardback
common.buy 19 006 Ft
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 41 237 Ft
Principles of Marketing Avon College Press / Book Paperback
common.buy 61 304 Ft
Atomic Properties in Hot Plasmas Jacques Bauche / Book Hardback
common.buy 41 204 Ft
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Book Paperback
common.buy 10 681 Ft
Florida Gl Jahoda / Book Paperback
common.buy 7 548 Ft
Surgery of the Stomach Horst D. Becker / Book Paperback
common.buy 41 204 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