Sell, buy or rent Bernhard Schätz textbooks
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959)
by
Gwen Salaün, Bernhard Schätz
ISBN-13: 9783642244308
ISBN-10: 3642244300
Edition: 2011
Publisher:
Springer
Format:
Paperback
271 pages
Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings (Programming and Software Engineering)
by
Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke
ISBN-13: 9783642415326
ISBN-10: 3642415326
Edition: 2013
Publisher:
Springer
Format:
Paperback
820 pages
Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science, 6100)
by
Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz
ISBN-13: 9783642162763
ISBN-10: 3642162762
Edition: 2010
Publisher:
Springer
Format:
Paperback
400 pages