Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca (verification by model checking)

Jörg Desel, Kalenkova, Anna Kalenkova - Application and Theory of Petri Nets and Concurrency 47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22-26, 2026, Proceedings
Jörg Desel, Kalenkova, Anna Kalenkova Application and Theory of Petri Nets and Concurrency Inglese Tascabile CHF 112.00 Pubblicazione il 13.08.2026
Roberto Casadei, Ghassemi, Fatemeh Ghassemi - Coordination Models and Languages 28th IFIP WG 6.1 International Conference, COORDINATION 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
Roberto Casadei, Ghassemi, Fatemeh Ghassemi Coordination Models and Languages Inglese Tascabile CHF 102.00 Pubblicazione il 15.08.2026
Raymon Devillers, Raymond Devillers, Valmari, Valmari, Antti Valmari - Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Raymon Devillers, Raymond Devillers, Valmari, Valmari, Antti Valmari Application and Theory of Petri Nets and Concurrency Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, … - Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, … Computer Aided Verification Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, … - Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Danie Kroening, Daniel Kroening, Corina S. P¿s¿reanu, Corina S. Pasareanu, Corina S. Păsăreanu, … Computer Aided Verification Inglese 01.01.2015 Tascabile CHF 70.00 6-7 settimane
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem - Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem Computer Aided Verification Inglese 16.06.2014 Tascabile CHF 135.00 6-7 settimane