Normal view MARC view ISBD view

Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)

Auteur principal collectivité : TACAS 2002, 8th, 2002, AuteurAuteur secondaire : : Stevens, Perdita, Editeur scientifique;Katoen, Joost-Pieter, Editeur scientifiquePublication : New York, heidelberg : Springer, cop. 2002Description : 1 vol. (XIII-482 p.) ; 24 cmISBN : 3-540-43419-4.Collections : Lecture notes in computer science, 2280Dewey: 004.2/1, 21Bibliographie: Includes bibliographical references and index.Sujet - Nom d'actualité : Logiciels -- Développement ;Systèmes, Conception de -- Congrès Sujet : TEST ;ORDONNANCEMENT ;GRAMMAIRE ;Modèl Checking ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
GRE 02 Sur demande CRI04931D

Includes bibliographical references and index

Powered by Koha