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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Language EnglishEnglish
Book Paperback
Book Verification: Theory and Practice Nachum Dershowitz
Libristo code: 01559051
Publishers Springer, Berlin, November 2003
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Full description
? points 263 b
107.29 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Zauberwelten, 1 DVD Ehrlich Brothers / Video DVD
common.buy 14.99 €
Les industries métallurgique T3 REDON / Book Paperback
common.buy 37.99 €
Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart / Book Paperback
common.buy 32.79 €
100 CONTEMPORARY WOOD BUILDINGS JODIDIO / Book Hardback
common.buy 70.29 €
EVALUACIóN PSICOLóGICA (CAPíTULO 10) FERNáNDEZ-BALLESTEROS / Book Book
common.buy 7.39 €
Säggs'sch - Fast vergessen Gunter Böhnke / Book Hardback
common.buy 6.99 €
LA PELUSA DE DEBAJO DE MI CAMA Hernández / Book Book
common.buy 18.79 €
Platons Totenbuch Holger Kalweit / Book Paperback
common.buy 23.89 €
Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout / Book Paperback
common.buy 7.99 €
Reconectar con el Alma Dra Gabriella Kortsch / Book Paperback
common.buy 14.49 €
Bar de La Mer Jacques Almira / Book Paperback
common.buy 11.89 €
Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier / Book Paperback
common.buy 26.09 €
Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel / Book Paperback
common.buy 20.89 €
Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger / Book Paperback
common.buy 69.90 €
Supply Chain Spuren im Schnee Thomas Ziegler / Book Paperback
common.buy 62.29 €
Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill / Book Paperback
common.buy 58.00 €
Kulturpolitik und Theater Philipp Ther / Book Paperback
common.buy 60.59 €

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

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 Verification: Theory and Practice
Author Nachum Dershowitz
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 788
EAN 9783540210023
ISBN 3540210024
Libristo code 01559051
Publishers Springer, Berlin
Weight 988
Dimensions 156 x 234 x 40

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

VLSI-SoC: From Systems to Silicon Ricardo Reis / Book Hardback
common.buy 118.39 €
Witches Be Crazy: Witch Wicca Spell Paper Bright Halloween 200 Pages Gg Stoutsong / Book Paperback
common.buy 9.79 €
Knowing the Ways of God John C Fenn / Book Paperback
common.buy 12.59 €
WISHYPOOFS & HICCUPS Marion Lindsay / Book Paperback
common.buy 6.59 €
A DEFENCE OF THE EXPOSITION OF THE DOCTR WILLIAM WAKE / Book Hardback
common.buy 33.69 €
GECCO 14 Genetic and Evolutionery Computation Conference Vol 2 Gecco 14 Conference Committee / Book Paperback
common.buy 204.89 €
Dad Is the Best! Joshua D Hunt / Book Paperback
common.buy 36.39 €
Southern Storm Zondervan / Book Paperback
common.buy 10.19 €
Code of Honor Harold Coyle / Book Paperback
common.buy 21.29 €
Mongrel Hoyt Silva / Book Paperback
common.buy 10.09 €
Diary Of The Times Of Charles The Second By The Honorable Henry Sidney V2 (1843) Henry Sidney / Book Paperback
common.buy 35.79 €
Selling Solar Damian Miller / Book Hardback
common.buy 274.79 €
Backroads and Byways of Indian Country Teresa Bitler / Book Paperback
common.buy 29.69 €
Theater of the Mind Neil Verma / Book Hardback
common.buy 144.59 €
Deciphering Data Architectures James Serra / Book Paperback
common.buy 62.89 €

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?