Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Structured Object-Oriented Formal Language and Method
CHF 58.35
Auf Lager
SKU
D4GSKU5ADCR
1 Verfügbar 
Geliefert zwischen Di., 28.04.2026 und Mi., 29.04.2026
Details
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Up-to-date results Fast-track conference proceedings State-of-the-art research
Inhalt
Testing and tools.- Tools for specification.- Model checking.- Application and prototyping.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783642392764
- Editor Shaoying Liu
- Sprache Englisch
- Auflage 2013
- Größe H235mm x B155mm x T9mm
- Jahr 2013
- EAN 9783642392764
- Format Kartonierter Einband
- ISBN 3642392768
- Veröffentlichung 14.08.2013
- Titel Structured Object-Oriented Formal Language and Method
- Untertitel Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
- Gewicht 254g
- Herausgeber Springer Berlin Heidelberg
- Anzahl Seiten 160
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
