Tools and algorithms for the construction and analysis of systems  5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings 
W. Rance Cleaveland, ed. 
 - XI, 443 S.  Ill., graph. Darst.  24 cm 
 - Lecture notes in computer science  1579 .
 -  157900 .
 - Lecture notes in computer science  1579 .
<br/><br/> Literaturangaben 
<br/><br/>Literaturangaben 
<br/><br/>Cleaveland, W. Rance: Tools and Algorithms for the Construction and Analysis of Systems 
<br/><br/><label>ISBN: </label>3540657037   : DM 102.00 (kart.) 
<br/><br/><label>LCCN: </label>99024737  
<br/><br/><label>Nat. Bib. No.: </label>99,N12,0373  dnb 99,A17,1003  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>b9927437  UK 955865980  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design--Congresses<br/>Computer software--Development--Congresses<br/>Electronic data processing--Distributed processing--Congresses<br/>System analysis--Congresses
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Amsterdam--1999
<br/><br/><label>LC Class. No.: </label>QA76.9.S88 
<br/><br/><label>Dewey Class. No.: </label>004.21 004.2/1