Tools and Algorithms for the Constru...
Halbwachs, Nicolas.

Linked to FindBook      Google Book      Amazon      博客來     
  • Tools and Algorithms for the Construction and Analysis of Systems = 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Tools and Algorithms for the Construction and Analysis of Systems/ edited by Nicolas Halbwachs, Lenore D. Zuck.
    Reminder of title: 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
    other author: Halbwachs, Nicolas.
    corporate name: TACAS 2005
    Published: Berlin Heidelberg :Springer-Verlag GmbH., : 2005.,
    Description: xvii, 585 p. :ill., digital ;23 cm.
    Series: Lecture Notes in Computer Science,
    Contained By: Springer e-books
    Subject: Computer software - Development -
    Online resource: http://dx.doi.org/10.1007/b107194http://dx.doi.org/10.1007/b107194
    ISBN: 9783540253334 (paper)
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login