Log in

Normal view MARC view ISBD view

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

By: Kreowski, Hans-Jorg.

Contributor(s): Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: 3393. Lecture notes in computer science.Publisher: Berlin: Springer-Verlag, 2005Description: xxvii, 411 p.; : 24 cm.ISBN: 3540249362 .Subject(s): Algebraic logic | Computer systems - Design and construction | Discrete Mathematics in Computer Science | Transformation de graphes | Formal methods (Computer science) | Graph theory - Data processingDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 KRE (Browse shelf)	Available		012388

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	004 KRA Handbook of Logic and Proof Techniques for Computer Science	004 KRA Advances in Distributed Systems	004 KRA Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : Proceedings	004 KRE Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday	004 KRE Algorithmic foundations of geographic information systems	004 KRI Advances in mobile computing and communications: perspectives and emerging trends in 5G networks	004 KRO Database processing	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha