Browse Results

Showing 32,576 through 32,600 of 85,018 results
Title Author ISBN Copyright Features Action
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in Computer Science #6957) 4686049 Bernhard K. Aichernig Frank S. De Boer Marcello M. Bonsangue 9783642252716 2012
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7542) 4630535 Bernhard Beckert Ferruccio Damiani Frank S. De Boer Marcello M. Bonsangue 9783642358876 2013
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science #2852) 4754950 Frank S. De Boer Marcello Bonsangue Susanne Graf Willem-Paul De Roever 9783540396567 2003
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science #3188) 4602734 Frank S. De Boer Marcello M. Bonsangue Susanne Graf Willem-Paul De Roever 9783540301011 2004
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science #3657) 4622466 Frank S. De Boer Marcello M. Bonsangue Susanne Graf Willem-Paul De Roever 9783540319399 2005
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science #4709) 4685910 Frank S. De Boer Marcello M. Bonsangue Susanne Graf Willem-Paul De Roever 9783540747925 2007
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science #4111) 4686522 Frank S. De Boer Marcello M. Bonsangue Susanne Graf Willem-Paul De Roever 9783540367505 2006
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science #6286) 4589717 Frank S. De Boer Marcello M. Bonsangue Stefan Hallerstede Michael Leuschel 9783642170713 2010
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science #5382) 4827512 Marcello M. Bonsangue Susanne Graf Willem-Paul De Roever 9783540921882 2008
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science #5751) 4716478 Marcello M. Bonsangue Eric Madelaine 9783642041679 2009
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science #7866) 4760062 Elena Giachino Reiner Hähnle Frank S. De Boer Marcello M. Bonsangue 9783642406157 2013
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Lecture Notes in Computer Science #5016) 4797446 Marco Bernardo Pierpaolo Degano Gianluigi Zavattaro 9783540688945 2008
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy (IFIP Advances in Information and Communication Technology #55) 3821804 Tommaso Bolognesi Diego Latella 9780387355337 2000
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures (Lecture Notes in Computer Science #7938) 4812698 Marco Bernardo Erik De Vink Alessandra Di Pierro Herbert Wiklicky 9783642388743 2013
Formal Methods for Embedded Distributed Systems: How to master the complexity 3854916 Fabrice Kordon Michel Lemoine 9781402079979 2004
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures (Lecture Notes in Computer Science #6659) 4631273 Marco Bernardo Valerie Issarny 9783642214554 2011
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Science #8483) 2808681 Marco Bernardo Ferruccio Damiani Reiner Haehnle Einar Broch Johnsen Ina Schaefer 9783319073170 2014
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures (Lecture Notes in Computer Science #3965) 4619505 Marco Bernardo Alessandro Cimatti 9783540343059 2006
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture Notes in Computer Science #5825) 4742180 María Alpuente Byron Cook Christophe Joubert 9783642045707 2009
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14290) 5934199 Alessandro Cimatti Laura Titolo 9783031436819 2023 Contains images
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science #5596) 4712873 Darren Cofer Alessandro Fantechi 9783642032400 2009
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Lecture Notes in Computer Science #8187) 4790083 Michael Dierkes Charles Pecheur 9783642410109 2013
Formal Methods for Industrial Critical Systems: A Survey of Applications (Lecture Notes in Computer Science #9933) 2798904 Stefania Gnesi Tiziana Margaria 9781118459874 2013 Contains images
Formal Methods for Industrial Critical Systems: A Survey of Applications 2921967 Stefania Gnesi Tiziana Margaria 9781118459867 2013
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science #13487) 4855899 Jan Friso Groote Marieke Huisman 9783031150081 2022 Contains images

Refine Search

Showing 32,576 through 32,600 of 85,018 results