Neuerscheinungen 2010 Stand: 2020-01-07

Schnellsuche ISBN/Stichwort/Autor

Herderstraße 10 10625 Berlin Tel.: 030 315 714 16 Fax 030 315 714 14 info@buchspektrum.de

Jean-Raymond Abrial, Uwe Glässer (Beteiligte)

Rigorous Methods for Software Construction and Analysis

Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Herausgeber: Glässer, Uwe, Abrial, Jean-Raymond
2010. XVI, 235 S. 43 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN 2010
ISBN: 3-642-11446-6 (3642114466)
Neue ISBN: 978-3-642-11446-5 (9783642114465)

Preis und Lieferzeit: Bitte klicken

• Bestellen
  
• Neuerscheinungsliste
  
• buchspektrum.de Start