|
Searching ... |
0 % | |||
Lecture Notes in Computer Science Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday 9300 with Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte 319 Pages, Published 2015 by Springer ISBN-13: 978-3-319-23534-9, ISBN: 3-319-23534-6 |
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday with Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte Published 2015 ISBN-13: 978-3-319-23535-6, ISBN: 3-319-23535-4 |
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings with Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran 688 Pages, Published 2014 by Springer ISBN-13: 978-3-319-11653-2, ISBN: 3-319-11653-3 |
Lecture Notes in Computer Science FM 2011- Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings 6664 with Michael Butler, Wolfram Schulte 450 Pages, Published 2011 by Springer ISBN-13: 978-3-642-21437-0, ISBN: 3-642-21437-1 |
Model-Based Software Testing and Analysis with C# with Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Published 2010 by Cambridge University Press ISBN-13: 978-0-511-61954-0, ISBN: 0-511-61954-5 |
Model-Based Software Testing and Analysis with C# with Jonathan Jacky, Colin Campbell, Margus Veanes, Wolfram Schulte Published 2008 ISBN-13: 978-0-511-36422-8, ISBN: 0-511-36422-9 |
Model-Based Software Testing and Analysis with C#(1st Edition) with Jonathan Jacky, Wolfram Schulte, Margus Veanes, Colin Campbell Paperback, 366 Pages, Published 2008 by Cambridge University Press ISBN-13: 978-0-521-68761-4, ISBN: 0-521-68761-6 |
Model-Based Software Testing and Analysis with C# with Colin Campbell, Jonathan Jacky, Margus Veanes, Wolfram Schulte Published 2008 ISBN-13: 978-1-281-14647-2, ISBN: 1-281-14647-1 |
Model-Based Software Testing and Analysis with C#(1st Edition) with Jonathan Jacky, Colin Campbell, Margus Veanes, Wolfram Schulte Hardcover, 366 Pages, Published 2007 by Cambridge University Press Topaz_Ebook ISBN-13: 978-0-521-88655-0, ISBN: 0-521-88655-4 |
Model-Based Software Testing and Analysis with C# with Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Published 2007 by Cambridge University Press ISBN-13: 978-1-139-46919-7, ISBN: 1-139-46919-3 |
Lecture Notes in Computer Science Ser.(1st Edition) Formal Methods and Software Engineering : 6Th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : Proceedings 3308 with Jim Davies, Wolfram Schulte, Mike Barnett Digital, 500 Pages, Published 2005 by Springer ISBN-13: 978-3-540-30482-1, ISBN: 3-540-30482-7 |
Fields of Logic and Computation II(1st Edition) Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science) Paperback, 319 Pages, Published 2015 by Springer ISBN-13: 978-3-319-23533-2, ISBN: 3-319-23533-8 |
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings (Lecture Notes in Computer Science) Paperback, 688 Pages, Published 2014 by Springer ISBN-13: 978-3-319-11652-5, ISBN: 3-319-11652-5 |
FM 2011 Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science) Paperback, 450 Pages, Published 2011 by Springer ISBN-13: 978-3-642-21436-3, ISBN: 3-642-21436-3 |
Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science) with Jim Davies Paperback, 500 Pages, Published 2005 by Springer ISBN-13: 978-3-540-23841-6, ISBN: 3-540-23841-7 |
Wolfram Schulte