Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff.
Garavel, Hubert.
Hatcliff, John.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
online resource
englisch
9783540365778
Lecture notes in computer science ; 2619
Full Text
LEADER 01199nmm a22002895u 4500
001 978-3-540-00898-9
003 Springer
020 |a 9783540365778 
035 |a (Sirsi) a215193 
035 |a i9783540365778 
041 |a eng 
245 1 0 |a Tools and Algorithms for the Construction and Analysis of Systems  |h [E-Book] :  |b 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /  |c edited by Hubert Garavel, John Hatcliff. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag Berlin Heidelberg,  |c 2003   |e (Springer LINK) 
300 |a online resource 
490 0 |a Lecture notes in computer science ;  |v 2619 
500 |a englisch 
596 |a 1 
650 0 |a Computer Communication Networks 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Software engineering 
700 1 |a Garavel, Hubert. 
700 1 |a Hatcliff, John. 
856 4 0 |u http://dx.doi.org/10.1007/3-540-36577-X  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
949 |a XX(215193.1)  |w AUTO  |c 1  |i 215193-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 29/9/2010  |x UNKNOWN  |z UNKNOWN  |1 ONLINE  |2 KONFERENZ