- 2 402 202 книги
#1
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... Programming and Software Engineering)
Maria Alpuente, Byron Cook, Christophe JoubertКатегория: Техника
7.71 Mb
#2
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Jeremy Gibbons, Jose Nuno OliveiraКатегория: Компьютеры
2.85 Mb
#3
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering
Marco Bernardo, Luca Padovani, Gianluigi ZavattaroКатегория: Компьютеры
5.97 Mb
#4
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard SteffenКатегория: Компьютеры
13.00 Mb
#5
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Michael Leuschel, Heike WehrheimКатегория: Компьютеры
10.61 Mb
#6
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering)
Stefan Kowalewski, Marco RoveriКатегория: Техника
5.47 Mb
#7
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)
Jim Davies, Wolfram Schulte, Mike BarnettКатегория: Компьютеры
14.41 Mb
#8
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers (Lecture Notes ... Programming and Software Engineering)
Cosimo Laneve, Jianwen SuКатегория: Техника
2.31 Mb
#9
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)
Alan J. Hu, Andrew K. MartinКатегория: Компьютеры
16.01 Mb
#10
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Ana CavalcantiКатегория: Компьютеры
10.19 Mb
#11
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)
Karin Breitman, Ana CavalcantiКатегория: Техника
13.82 Mb
#12
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers ... Programming and Software Engineering)
Darren Cofer, Alessandro FantechiКатегория: Техника
3.83 Mb
#13
Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
C. Neville Dean, Raymond T. BouteКатегория: Компьютеры
5.47 Mb
#14
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael LeuschelКатегория: Математика, Прикладная математика
4.09 Mb
#15
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de PolКатегория: Техника
3.48 Mb
#16
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert WiklickyКатегория: Компьютеры
1.53 Mb
#17
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
International Symposium of Formal Methods, Maurice Naftalin, Tim Denvir, Miquel Bertran
6.41 Mb
#18
FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2
World Congress on Formal Methods in the Development of Computing Systems
11.33 Mb
#21
Hardware Design Verification: Simulation and Formal Method-Based Approaches
William K. Lam
6.63 Mb
#22
CAFE: An Industrial Strength Algebraic Formal Method
K. Futatsugi, A.T. Nakagawa, T. TamaiКатегория: Mathematical logic
1.91 Mb
#23
Formal methods for web services advanced lectures, 9, 2009, Bertinoro
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
8.71 Mb
#24
Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
5.14 Mb
#25
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004
Alan J. Hu, Andrew K. MartinКатегория: Cs_Computer science, CsLn_Lecture notes
11.75 Mb
#26
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverКатегория: Cs_Computer science, CsLn_Lecture notes
3.85 Mb
#27
Lectures on Formal Methods and Performance Analysis, 1 school, 2000
Ed Brinksma, Holger Hermanns, Joost-Pieter KatoenКатегория: Cs_Computer science, CsLn_Lecture notes
3.80 Mb
#28
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995
Jean-Raymond Abrial, Egon Börger, Hans LangmaackКатегория: Cs_Computer science, CsLn_Lecture notes
4.81 Mb
#29
Formal Methods for the Design of Real-Time Systems, SFM-RT 2004
Marco Bernardo, Flavio CorradiniКатегория: Cs_Computer science, CsLn_Lecture notes
2.31 Mb
#30
Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004
C. Neville Dean, Raymond T. BouteКатегория: Cs_Computer science, CsLn_Lecture notes
22.56 Mb
#31
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004
Alan J. Hu, Andrew K. MartinКатегория: Cs_Computer science, CsLn_Lecture notes
7.69 Mb
#33
Formal Methods and Software Engineering, 9 conf., ICFEM 2007
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-PetrieКатегория: CsLn_
4.28 Mb
#34
Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002
Bernhard K. Aichernig, Tom MaibaumКатегория: CsLn_
3.45 Mb
#35
Formal Methods for Components and Objects, 2 conf., FMCO 2003
Frank S. de Boer, Marcello M. Bonsangue, Susanne GrafКатегория: CsLn_
7.29 Mb
#36
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de RoeverКатегория: CsLn_
3.18 Mb
#37
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005
Marco Bernardo, Alessandro BoglioloКатегория: CsLn_
2.88 Mb
#38
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003
Elie Najm, Uwe Nestmann, Perdita StevensКатегория: CsLn_
4.29 Mb
#39
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1, FMOODS 2007
Marcello M. Bonsangue, Einar Broch JohnsenКатегория: CsLn_
3.57 Mb
#40
Formal Methods for Performance Evaluation, 7 school, SFM 2007
Marco Bernardo, Jane HillstonКатегория: CsLn_
4.81 Mb
#41
Formal Methods for Software Architectures, 3 school, SFM 2003
Marco Bernardo, Paola InverardiКатегория: CsLn_
3.72 Mb
#42
Formal Methods in Software and Systems Modeling
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele TaentzerКатегория: CsLn_
4.30 Mb
#43
Integrated Formal Methods, 4 conf., IFM 2004
Eerke Boiten, John Derrick, Graeme SmithКатегория: CsLn_
9.89 Mb
#44
Integrated Formal Methods, 6 conf., IFM 2007
Jim Davies, Jeremy GibbonsКатегория: CsLn_
6.13 Mb
#45
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)
Olaf Owe, Stein Krogdahl, Tom LycheКатегория: Computer Science, Computer Science
4.29 Mb
#46
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)
Marcel Vinícius Medeiros Oliveira, Jim Woodcock
3.83 Mb
#47
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Jeremy Gibbons, Jose Nuno Oliveira
3.71 Mb
#48
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)
María Alpuente, Byron Cook, Christophe Joubert
9.47 Mb
#49
Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
3.23 Mb
#50
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
John WordsworthКатегория: Cs_Computer science, CsPl_Programming languages
2.12 Mb
#51
The Way of Z: Practical Programming with Formal Methods
Jonathan JackyКатегория: Cs_Computer science, CsPl_Programming languages
2.21 Mb
#52
Modern Formal Methods and Applications
Hossam A. GabbarКатегория: Cs_Computer science, CsPl_Programming languages
1.60 Mb
#53
Integrated Formal Methods, 7 conf., IFM 2009
Michael Leuschel, Heike WehrheimКатегория: Cs_Computer science, CsLn_Lecture notes
5.05 Mb
#54
Formal Methods: foundations and Applications, 12 conf., SBMF2009
Marcel Vinícius Medeiros Oliveira, Jim WoodcockКатегория: Cs_Computer science, CsLn_Lecture notes
3.55 Mb
#55
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
James C.P. Woodcock, Peter G. Larsen
6.15 Mb
#56
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ...
Marie-Claude Gaudel, James Woodcock
6.04 Mb
#57
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ...
John Fitzgerald, Cliff B. Jones, Peter Lucas
7.19 Mb
#59
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Mandayam Srivas, Albert Camilleri
5.79 Mb
#60
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Ganesh Gopalakrishnan, Phillip Windley
4.13 Mb
#61
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Dines Bjorner, Manfred Broy, Igor V. Pottosin
3.88 Mb
#62
FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 1
Jeannette M. Wing, Jim Woodcook, Jim Davies
10.75 Mb
#63
FME 2001. Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings
Jose N. Oliveira, Pamela Zave
5.04 Mb
#64
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th
Jost-Pieter Katoen
3.58 Mb
#65
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Ganesh Gopalakrishnan, Phillip Windley
4.14 Mb
#66
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Warren A. Jr. Hunt, Steven D. Johnson
5.43 Mb
#67
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
3.20 Mb
#68
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications: v. 2
Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender
5.35 Mb
#70
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Lars-Henrik Eriksson, Peter A. Lindsay
5.34 Mb
#71
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Keijiro Araki, Stefania Gnesi, Dion Mandrioli
8.13 Mb
#72
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Chris George, Huaikou Miao
5.96 Mb
#73
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Jin Song Dong, Jim Woodcock
5.79 Mb
#74
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
4.59 Mb
#76
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
3.27 Mb
#78
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
5.44 Mb
#79
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
6.76 Mb
#80
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Jorge Cuellar
5.63 Mb
#81
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Cliff B. Jones, Zhiming Liu, Jim Woodcock
5.37 Mb
#82
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Jim Davies, Wolfram Schulte, Mike Barnett
6.34 Mb
#83
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005,
Kung-Kiu Lau, Richard Banach
6.39 Mb
#84
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006,
Zhiming Liu, Jifeng He
10.53 Mb
#85
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June
András Horváth, Miklós Telek
3.73 Mb
#86
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September
Katinka Wolter
4.62 Mb
#87
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
Robert M. Hierons, Jonathan P. Bowen, Mark Harman
8.13 Mb
#88
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
3.47 Mb
#89
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
11.98 Mb
#90
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Marco Bernardo, Alessandro Cimatti
2.88 Mb
#91
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Stefan Leue, Pedro Merino
3.77 Mb
#92
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Gilles Barthe, Frank S. de Boer
2.74 Mb
#93
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005,
Martin Steffen
3.59 Mb
#94
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006,
Roberto Gorrieri, Heike Wehrheim
3.98 Mb
#95
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
Jasmin Fisher
6.36 Mb
#96
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th
Lubos Brim, Boudewijn Haverkort
5.06 Mb
#97
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol
4.40 Mb
#98
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Tiziana Maragria, Bernhard Steffen
2.40 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.