• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formal Methods and Tools: Introduction and Overview

Erstveröffentlichung
1999
Authors
Berghammer, R.
Lakhnech, Y.
Reif, Wolfgang
Editor
Berghammer, R.
Lakhnech, Y.
Teil eines Buches


Published in
Tool Support for System Specification, Development and Verification / Berghammer, Rudolf ; Lakhnech, Yassine (Hrsg.). - Wien : Springer, 1999. - S. 1-17. - ISBN 978-3-211-83282-0, ISBN 978-3-7091-6355-9. - ISSN 1433-0113
Link to publication
https://dx.doi.org/10.1007/978-3-7091-6355-9_1
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement