Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification: Theory and Practice

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

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

Nachum Dershowitz

Język

Angielski

Książka Miękka

Kod Libristo: 01559051

Wydawnictwo Springer, Berlin, listopad 2003

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Cały opis

Kod Libristo: 01559051

249 b

446.69 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zauberwelten, 1 DVD Ehrlich Brothers

DVD

62.53 zł

Les industries métallurgique T3 REDON

Miękka

159.67 zł

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

Miękka

137.08 zł

100 CONTEMPORARY WOOD BUILDINGS JODIDIO

Twarda

296.86 zł

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

Książka

30.80 zł

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

Twarda

29.36 zł

LA PELUSA DE DEBAJO DE MI CAMA Hernández

Książka

79.37 zł

Platons Totenbuch Holger Kalweit

Miękka

99.70 zł

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

Miękka

33.16 zł

Reconectar con el Alma Dra Gabriella Kortsch

Miękka

60.37 zł

Bar de La Mer Jacques Almira

Miękka

50.00 zł

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

Miękka

109.35 zł

Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel

Miękka

87.07 zł

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

Miękka

326.54 zł

Supply Chain Spuren im Schnee Thomas Ziegler

Miękka

260.10 zł

Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill

Miękka

224.26 zł

Kulturpolitik und Theater Philipp Ther

Miękka

252.71 zł

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.