Grigore Rosu | Booky.fi

Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 In

Giese, Holger; Rosu, Grigore
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Pro

Meseguer, José; Rosu, Grigore
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Formal Approaches to Software Testing and Runtime Verification - First Combined International Workshops FATES 2006 and RV 2006,

Havelund, Klaus; Núnez, Manuel; Rosu, Grigore; Wolff, Burkhart
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg;
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part

Fisman, Dana; Rosu, Grigore
Springer
2022
Pehmeäkantinen kirja

41,20 €

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part

Fisman, Dana; Rosu, Grigore
Springer
2022
Pehmeäkantinen kirja

41,20 €

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Legunsen, Owolabi; Rosu, Grigore
Springer
2022
Pehmeäkantinen kirja

100,90 €