Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Tools and algorithms for the construction and analysis of systems first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Brinksma, Ed
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer c1995.
Σειρά:Lecture notes in computer science 1019
Θέματα:
System design > Congresses.
Computer software > Development > Congresses.
Electronic data processing > Distributed processing > Congress.