Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verification: Theory and Practice

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

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

Nachum Dershowitz

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01559051

Založba Springer, Berlin, november 2003

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

Koda Libristo: 01559051

236 b

97.53 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

100 CONTEMPORARY WOOD BUILDINGS JODIDIO

Trda

63.09 €

LA PELUSA DE DEBAJO DE MI CAMA Hernández

Knjiga

16.90 €

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

Trda

6.47 €

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

Mehka

30.07 €

Zauberwelten, 1 DVD Ehrlich Brothers

DVD

13.76 €

Platons Totenbuch Holger Kalweit

Mehka

20.55 €

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

Mehka

7.28 €

Kulturpolitik und Theater Philipp Ther

Mehka

52.45 €

Reconectar con el Alma Dra Gabriella Kortsch

Mehka

13.26 €

Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill

Mehka

48.71 €

Bar de La Mer Jacques Almira

Mehka

10.52 €

Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel

Mehka

19.03 €

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

Mehka

62.38 €

Supply Chain Spuren im Schnee Thomas Ziegler

Mehka

53.77 €

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.