Your search returned 2 results. Subscribe to this search

|
1. Congrès Automated technology for verification and analysis [Texte imprimé] : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (Eds.)Publication : Berlin, New York, NY : Springer, cop. 2005Description : 1 vol. (XII-506 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TAI 05] (1).
2.  Monographies, textes Petri net theory and the modeling of systems [] / James L. Peterson,..Publication : Englewood Cliffs, N.J. : Prentice-Hall, cop. 1981Description : 1 vol. (X-290 p.) : ill., couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PET] (1).

Powered by Koha