Freunden von diesem Artikel berichten:
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science Jean-raymond Abrial
Preis
SFr. 44,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 31. Dez - 8. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science
Jean-raymond Abrial
This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
251 pages, 43 black & white illustrations, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 20. Januar 2010 |
| ISBN13 | 9783642114465 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 235 |
| Maße | 156 × 235 × 15 mm · 388 g |
| Sprache | Französisch |
| Redakteur | Abrial, Jean-Raymond |
| Redakteur | Glasser, Uwe |
Weitere Titel von Jean-raymond Abrial
Alle anzeigen
![Cover for Jean-raymond Abrial · Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science (Taschenbuch) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/291/9783540619291.jpg?jean-raymond-abrial-1996-formal-methods-for-industrial-applications-specifying-and-programming-the-steam-boiler-control-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1525959309)
Andere haben auch gekauft
Alle Titel von Jean-raymond Abrial ansehen ( u. a. Taschenbuch und Gebundenes Buch )