[PDF] formal method free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


363 books found   ►also search"formal method" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
960538 Mary Lou Maher, Josiah Poon, Sylvie Boulanger (auth.), John S. Gero, Fay Sudweeks (eds.) IFIP — The International Federation for Information Processing
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 [1 ed.]
978-1-4757-4428-6, 978-0-387-34925-1
Springer US 1996 300 English 9 Mb pdf GET
944702 Steven Shapiro, Yves Lespérance (auth.), Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.) Lecture Notes in Computer Science 1441
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications: Based on the AI'97 Workshop on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence Perth, Australia, December 1, 1997 [1 ed.]
978-3-540-64769-0, 978-3-540-68722-1
Springer-Verlag Berlin Heidelberg 1998 244 English 4 Mb pdf GET
824146 Michael Fisher An Introduction to Practical Formal Methods Using Temporal Logic [1 ed.]
0470027886, 9780470027882
Wiley 2011 353 English 2 Mb pdf GET
816263 Michael Fisher An Introduction to Practical Formal Methods Using Temporal Logic [1 ed.]
0470027886, 9780470027882
Wiley 2011 353 English 2 Mb pdf GET
184929 Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.) Lecture Notes in Computer Science 1641
Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings [1 ed.]
3540664629), 3540664629
Springer-Verlag Berlin Heidelberg 1999 384 English 22 Mb pdf GET
340782 Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.) Lecture Notes in Computer Science 3236
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings [1 ed.]
3540231692
Springer-Verlag Berlin Heidelberg 2004 379 English 5 Mb pdf GET
965424 Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.) Lecture Notes in Computer Science 3236
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings [1 ed.]
978-3-540-23169-1, 978-3-540-30233-9
Springer-Verlag Berlin Heidelberg 2004 379 English 3 Mb pdf GET
71759 K. Futatsugi, A.T. Nakagawa, T. Tamai CAFE: An Industrial Strength Algebraic Formal Method [1st ed.]
0444505563, 9780444505569, 9780080528403
Elsevier Science 2000 209 English 2 Mb djvu GET
997035 Communicating Embedded Systems: Software and Design: Formal Methods
9781848211438, 9781118558188
Wiley-ISTE 2009 266 English 3 Mb pdf GET
1170187 Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.) Advances in Formal Methods 4
Computer-aided reasoning: ACL2 case studies [1 ed.]
9781441949813
Springer US 2000 337 English 3 Mb djvu GET
945318 Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.) Advances in Formal Methods 4
Computer-Aided Reasoning: ACL2 Case Studies [1 ed.]
978-1-4419-4981-3, 978-1-4757-3188-0
Springer US 2000 337 English 12 Mb pdf GET
1170184 Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.) Advances in Formal Methods 3
Computer-Aided Reasoning: An Approach
9781461370031
Springer US 2000 272 English 2 Mb djvu GET
945339 Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.) Advances in Formal Methods 3
Computer-Aided Reasoning: An Approach [Softcover reprint of the original 1st ed. 2000]
978-1-4613-7003-1, 978-1-4615-4449-4
Springer US 2000 XV, 270 p. English 9 Mb pdf GET
958595 Robert Kurshan (auth.), Robert Kurshan (eds.) Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification [1 ed.]
978-1-4613-6579-2, 978-1-4615-3556-0
Springer US 1993 142 English 7 Mb pdf GET
1064357 Prof. Dr. rer. nat. Wilhelm Weltzien, Ph. D. Dr. rer. nat. Waman Achwal (auth.) Forschungsberichte des Landes Nordrhein-Westfalen 1298
Die Bestimmung des Wassergehaltes mit Hilfe der Karl-Fischer-Methode in Harnstoff-Formaldehyd-Kunstharzen sowie in unbehandelten und in mit diesen Kunstharzen behandelten Geweben [1 ed.]
978-3-663-06075-8, 978-3-663-06988-1
VS Verlag für Sozialwissenschaften 1963 49 German 1 Mb pdf GET
349332 Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) Lecture Notes in Computer Science 3582 : Programming and Software Engineering
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings [1 ed.]
3540278826, 9783540278825
Springer-Verlag Berlin Heidelberg 2005 558 English 5 Mb pdf GET
349333 Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) Lecture Notes in Computer Science 4085 : Programming and Software Engineering
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings [1 ed.]
3540372156, 9783540372158
Springer-Verlag Berlin Heidelberg 2006 620 English 7 Mb pdf GET
349334 Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.) Lecture Notes in Computer Science 5014 : Programming and Software Engineering
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings [1 ed.]
354068235X, 9783540682356
Springer-Verlag Berlin Heidelberg 2008 436 English 6 Mb pdf GET
966305 Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.) Lecture Notes in Computer Science 5014
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings [1 ed.]
978-3-540-68235-6, 978-3-540-68237-0
Springer-Verlag Berlin Heidelberg 2008 436 English 7 Mb pdf GET
966460 Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) Lecture Notes in Computer Science 5850
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings [1 ed.]
978-3-642-05088-6, 978-3-642-05089-3
Springer-Verlag Berlin Heidelberg 2009 820 English 15 Mb pdf GET
499275 Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) Lecture Notes in Computer Science 5850 : Programming and Software Engineering
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings [1 ed.]
3642050883, 9783642050886
Springer-Verlag Berlin Heidelberg 2009 820 English 10 Mb pdf GET
872180 Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) Lecture Notes in Computer Science 5850 : Programming and Software Engineering
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings [1 ed.]
9783642050893, 3642050891
Springer-Verlag Berlin Heidelberg 2009 820 English 10 Mb pdf GET
872193 Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.) Lecture Notes in Computer Science 6664 Programming and Software Engineering
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings [1 ed.]
9783642214370, 3642214371
Springer-Verlag Berlin Heidelberg 2011 450 English 5 Mb pdf GET
786657 Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.) Lecture Notes in Computer Science 6664
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings [1 ed.]
3642214363, 9783642214363
Springer-Verlag Berlin Heidelberg 2011 450 English 5 Mb pdf GET
911560 Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.) Lecture Notes in Computer Science 7436 Programming and Software Engineering
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings [1 ed.]
9783642327599, 3642327591
Springer-Verlag Berlin Heidelberg 2012 488 English 7 Mb pdf GET
  ►
 Михеев М.А.
A. Dold, B. Eckmann
Мамфорд Д.
Глазман И. М., Любич Ю. И.
Идельсон А.В., Минц Г.Е. (ред.)
Drinfeld V.G.
Шилов Г.Е., Фан Дык Тинь
Andrei D. Polyanin, V. F. Zaitsev
Bill Cox
Vivian Hutson, John S. Pym and Michael J. Cloud (Eds.)
Робертсон А., Робертсон В.
Тейлор М. (M.E.Taylor)
Bellman
Heath T.L.
Professor Dietrich Stoyan, Dr. Helga Stoyan
Ranicki A.A. (ed.)
Peter W. Michor
Энгелькинг Р. (Engelking)
Bjoerck A., Dahlquist G.
Helmut Ratschek, Jon Rokne

test methodsdata miningadaptive controlmonte carlo integrationsocial network theoryinbred strainmagnetohydrodynamicsmaterials sciencemodeling