Tools and algorithms for the construction and analysis of systems : 4th International conference, TACAS '98 held as part of joint european conferences on theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 / Bernhard Steffen

Auteur principal collectivité : TACAS, '98, 4, 1998, AuteurAuteur secondaire : Steffen, Bernhard, 1958-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 1384Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1998ISBN: 3540643567.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer scienceEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.