Verification, Induction, Termination Analysis

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday SIEGLER, Simon ; Wasser, Nathan

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the
€55,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642171710
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Verschenen
01-01-2010
Taal
Engels
Bladzijden
145 pp.
Bindwijze
Paperback
Genre
Informatica

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending tot 1 januari 2020 (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum