Coverart for item
The Resource Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, Hans-Jörg Kreowski ... [et al.] (eds.), (electronic resource)

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, Hans-Jörg Kreowski ... [et al.] (eds.), (electronic resource)

Label
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Title
Formal methods in software and systems modeling
Title remainder
essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Statement of responsibility
Hans-Jörg Kreowski ... [et al.] (eds.)
Contributor
Subject
Language
eng
Member of
Dewey number
004/.01/51
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Ehrig, Hartmut
  • Kreowski, H.-J.
Series statement
  • Lecture notes in computer science,
  • Festschrift
Series volume
3393
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Computer software
  • Computer systems
Label
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, Hans-Jörg Kreowski ... [et al.] (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262680343
Dimensions
unknown
Extent
1 online resource (xxvii, 411 p.)
Form of item
online
Isbn
9783540318477
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)262680343
Label
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, Hans-Jörg Kreowski ... [et al.] (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262680343
Dimensions
unknown
Extent
1 online resource (xxvii, 411 p.)
Form of item
online
Isbn
9783540318477
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)262680343

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...