Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-Fran�cois Raskin.

by Cassez, Franck [editor.] | Raskin, Jean-Fran�cois [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / edited by Franck Cassez, Claude Jard.

by Cassez, Franck [editor.] | Jard, Claude [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-Francois Raskin.

by Cassez, Franck [editor.] | Raskin, Jean-Francois [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available