Drucken
Versenden
Speichern
Permalink
Lesezeichendienste
Nichts oder nicht das Richtige gefunden?
- Frage an die Bibliothek
- Fernleih-Formular aufrufen (leeres Formular, Anmeldung erforderlich)
Katalog der UB Augsburg (1/1)
The logic of software
a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Autor/Mitarbeiter: Ahrendt, Wolfgang , Beckert, Bernhard , Bubel, Richard , Johnsen, Einar Broch , Hähnle, Reiner
Verlagsort, Verlag, Jahr: Cham, Switzerland, Springer, [2022]
Umfang: 1 Online-Ressource (xii, 521 Seiten)
ISBN: 9783031081668
Inhaltstyp/Datenträger: Festschrift
Reihe/Zeitschrift : Lecture notes in computer science : Alle Einzelbände
| Autor/Mitarbeiter: | Ahrendt, Wolfgang |
|---|---|
| Autor/Mitarbeiter: | Beckert, Bernhard |
| Autor/Mitarbeiter: | Bubel, Richard |
| Autor/Mitarbeiter: | Johnsen, Einar Broch |
| Autor/Mitarbeiter: | Hähnle, Reiner |
| Titel: | The logic of software |
| Titelzusatz: | a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |
| Erläuterung: | Verlag |
| von: | Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) |
| Verlagsort: | Cham, Switzerland |
| Verlag: | Springer |
| Jahr: | [2022] |
| Umfang: | 1 Online-Ressource (xii, 521 Seiten) |
| Enthält: |
153 Illustrationen, 80 in Farbe |
| Reihe: | Lecture notes in computer science |
| Band: | 13360 |
| Volltext E-Book: | https://doi.org/10.1007/978-3-031-08166-8 |
| Andere Ausgabe: | Erscheint auch als |
| Andere Ausgabe: | Erscheint auch als |
| ...: | Druck-Ausgabe |
| ...: | Druck-Ausgabe |
| mit der ISBN: | 978-3-031-08165-1 |
| mit der ISBN: | 978-3-031-08167-5 |
| ISBN: | 9783031081668 |
| Inhaltstyp/Datenträger: | Festschrift |
| Subject: | Software engineering Computer engineering Computer networks Computer science |
| RVK-Notation: | |
| Hauptsprache: | Englisch |
| Land: | |||a|| |o||||||1| |
| Volltext : | https://doi.org/10.1007/978-3-031-08166-8 |
| B3Kat-ID: | BV048384391 |
