Lecture Notes in Computer Science
Volume 3393, 2005, DOI: 10.1007/b106390

Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg and Gabriele Taentzer

Search within

Browse This Book

About This Book

Title
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2005
DOI
10.1007/b106390
ISBN
978-3-540-24936-8
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, February 04, 2005

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002