Foundations of Software Science and Computational Structures / Lecture Notes in Computer Science Bd.4962 (PDF)
11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings
(Sprache: Englisch)
This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Foundations of Software Science and Computational Structures / Lecture Notes in Computer Science Bd.4962 (PDF)“
This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.
Bibliographische Angaben
- 2008, 2008, 508 Seiten, Englisch
- Herausgegeben: Roberto Amadio
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540784993
- ISBN-13: 9783540784999
- Erscheinungsdatum: 03.04.2008
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 8.83 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Foundations of Software Science and Computational Structures / Lecture Notes in Computer Science Bd.4962"
Schreiben Sie einen Kommentar zu "Foundations of Software Science and Computational Structures / Lecture Notes in Computer Science Bd.4962".
Kommentar verfassen