Results
8921.
Fundamental approaches to software engineering [electronic resource] : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Matthew B. Dwyer, Antonia Lopes. by Series: Lecture notes in computer science ; 4422
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
European Joint Conferences on Theory and Practice of Software
Software engineering
FASE 2007
Joint European Conferences on Theory and Practice of Software
ETAPS 2007
In:
Springer e-books
Availability: No items available.
8922.
Tools and algorithms for the construction and analysis of systems [electronic resource] : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.). by Series: Lecture notes in computer science ; 4424
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Other title:
European Joint Conferences on Theory and Practice of Software 2007
TACAS 2007
Joint European Conferences on Theory and Practice of Software
ETAPS 2007
In:
Springer e-books
Availability: No items available.
8923.
8924.
Verification, model checking, and abstract interpretation [electronic resource] : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.). by Series: Lecture notes in computer science ; 4349
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer e-books
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebook .
8925.
8926.
8927.
8928.
8929.
8930.
8931.
8932.
8933.
8934.
8935.
8936.
8937.
8938.
8939.
8940.