Normal view MARC view ISBD view

Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)

Auteur principal collectivité : International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 9th, 2003, AuteurAuteur secondaire : : Garavel, Hubert, 1963-..., Editeur scientifique;Hatcliff, John, 1966-...., Editeur scientifiquePublication : Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmISBN : 3-540-00898-5.Collections : Lecture notes in computer science, 2619Dewey: 005.1, 21Bibliographie: Contient des notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Développement ;Systèmes, Conception de -- Congrès Sujet : TEST ;TEMPS REEL ;PROTOCOLE CRYPTOGRAPHIQUE ;ORDONNANCEMENT ;LOGIQUE TEMPORELLE ;INFORMATIQUE NOMADE ;BINARY DECISION DIAGRAM ;Programmation par contraintes ;Preuve automatique ;Modèl Checking ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
WAR 03 Available CRI05340D

Contient des notes bibliogr. Index

Powered by Koha