Cover Image

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Ehrig, Hartmut, Kreowski, H.-J. (Hans-Jörg)
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Lecture notes in computer science. Festschrift.
Lecture notes in computer science. 3393.
Subjects:
Computer software.
Computer systems > Design.
Formal methods (Computer science)
Logiciels.
Méthodes formelles (Informatique)
Systèmes informatiques > Conception.
Conception de logiciels.
Conception de systèmes.
Méthode formelle.
Spécification algébrique.
Transformation de graphes.
Electronic books.
Online Access:Connect to the full text of this electronic book
Show all versions (2)