Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verification: Theory and Practice

Name: Verification: Theory and Practice
Brand: Springer, Berlin
SKU: 01559051
Price: 39951 HUF
Availability: InStock
Author: Nachum Dershowitz
ISBN: 9783540210023

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

Nachum Dershowitz

Language

English

Book Paperback

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

Libristo code: 01559051

271 b

39 951 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Zauberwelten, 1 DVD Ehrlich Brothers

DVD

5 546 Ft

Les industries métallurgique T3 REDON

Paperback

13 143 Ft

Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart

Paperback

12 171 Ft

100 CONTEMPORARY WOOD BUILDINGS JODIDIO

Hardback

24 431 Ft

EVALUACIóN PSICOLóGICA (CAPíTULO 10) FERNáNDEZ-BALLESTEROS

Book

2 536 Ft

Säggs'sch - Fast vergessen Gunter Böhnke

Hardback

2 610 Ft

LA PELUSA DE DEBAJO DE MI CAMA Hernández

Book

6 537 Ft

Platons Totenbuch Holger Kalweit

Paperback

8 216 Ft

Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout

Paperback

2 950 Ft

Reconectar con el Alma Dra Gabriella Kortsch

Paperback

5 383 Ft

Bar de La Mer Jacques Almira

Paperback

4 117 Ft

Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier

Paperback

9 663 Ft

Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel

Paperback

7 774 Ft

Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger

Paperback

25 626 Ft

Supply Chain Spuren im Schnee Thomas Ziegler

Paperback

21 406 Ft

Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill

Paperback

20 197 Ft

Kulturpolitik und Theater Philipp Ther

Paperback

20 816 Ft

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.