Rigorous Methods for Software Construction and Analysis
| ISBN: | 9783642114465 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 235 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Abrial, Jean-Raymond Glässer, Uwe |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 20.01.2010 |
| Untertitel: | Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday |
| Schlagworte: | Algorithms Analysis B-method abstract state machines algorithm animation arithmetic compiler concurrency models event-based method |