Results
|
6721.
|
|
|
6722.
|
|
|
6723.
|
Tools and Algorithms for the Construction of Analysis of Systems [electronic resource] : 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 / by Series: Lecture Notes in Computer Science ; 1579
Edition: 1st ed. 1999.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
In:
Springer Nature eBook
Availability: No items available.
|
|
6724.
|
|
|
6725.
|
|
|
6726.
|
Fundamental Approaches to Software Engineering [electronic resource] : 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2306
Edition: 1st ed. 2002.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002
In:
Springer Nature eBook
Availability: No items available.
|
|
6727.
|
|
|
6728.
|
|
|
6729.
|
|
|
6730.
|
|
|
6731.
|
|
|
6732.
|
|
|
6733.
|
|
|
6734.
|
|
|
6735.
|
|
|
6736.
|
|
|
6737.
|
|
|
6738.
|
|
|
6739.
|
|
|
6740.
|
|