TU Darmstadt / ULB / TUbiblio

The Abstract Behavioral Specification Language: A Tutorial Introduction

Hähnle, Reiner Bonsangue, Marcello and de Boer, Frank and Giachino, Elena and Hähnle, Reiner (eds.) (2013):
The Abstract Behavioral Specification Language: A Tutorial Introduction.
7866, In: International School on Formal Models for Components and Objects: Post Proceedings, pp. 1-37,
Springer, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2013
Editors: Bonsangue, Marcello and de Boer, Frank and Giachino, Elena and Hähnle, Reiner
Creators: Hähnle, Reiner
Title: The Abstract Behavioral Specification Language: A Tutorial Introduction
Language: German
Title of Book: International School on Formal Models for Components and Objects: Post Proceedings
Volume: 7866
Publisher: Springer
Divisions: 20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TUD-CS-2013-0424
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details