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
Description
Item Description:Electronic resource.
Physical Description:xxvii, 411 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:354031847X
9783540318477
ISSN:0302-9743 ;
DOI:10.1007/b106390