Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "174088558"
Treffer 8 von 46
|
|
| Link zu diesem Datensatz | https://d-nb.info/998805041 |
| Art des Inhalts | Aufsatzsammlung |
| Titel | Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / Jean-Raymond Abrial ; Uwe Glässer (ed.) |
| Person(en) |
Abrial, Jean-Raymond (Herausgeber) Börger, Egon (Gefeierter) |
| Verlag | Berlin ; Heidelberg ; New York, NY : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2009 |
| Umfang/Format | XVI, 233 S. : Ill., graph. Darst. ; 24 cm |
| ISBN/Einband/Preis | 978-3-642-11446-5 kart. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |
| Bestellnummer(n) | 12821952 |
| EAN | 9783642114465 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 5115 : Festschrift |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Software Engineering ; Aufsatzsammlung Programmierung ; Formale Methode ; Aufsatzsammlung Softwarespezifikation ; Systemanalyse ; Aufsatzsammlung |
| DDC-Notation | 005.1 [DDC22ger]; 005.12 [DDC22ger]; 005.131 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2010 A 9729
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2010 A 12684
Bereitstellung in Leipzig |
Treffer 8 von 46
Administration
