FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Name: FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Price: 142.95 CAD
Availability: InStock
Author: Jim Davies
ISBN: 9783540665885

Edited by Jeannette M Wing , Jim Woodcook , Jim Davies

Sep 13, 1999

$142.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 715 points and enjoy extra savings with plum+.

Overview

No. of Pages

942

Lecture Notes In Computer Science

Publisher: Springer

Shipping dimensions: 9" H x 6" W x 2" L

ISBN: 9783540665885

Distributed Computing in Sensor Systems: 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings

Sotiris Nikoletseas Paperback
$80.50
Databases Theory and Applications: 34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023, Proceedings

Zhifeng Bao Paperback
$109.50
2 formats available
Computer and Communication Engineering: Third International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023, Revised Selected Papers

Filippo Neri Paperback
$124.50
2 formats available
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Sungdeok Cha Paperback
$80.50
Web Content Caching and Distribution: Proceedings of the 8th International Workshop

Fred Douglis Paperback
$248.50
2 formats available
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Roberto Gorrieri Paperback
$80.50
String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Christina Boucher Paperback
$80.50
2 formats available
Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings

Phaophak Sirisuk Paperback
$80.50
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith Paperback
$321.50
2 formats available
String Processing And Information Retrieval: 24th International Symposium, Spire 2017, Palermo, Italy, September 26-29, 2017, Proceedings

Gabriele Fici Paperback
$80.50
2 formats available
Distributed Computing: 24th International Symposium, Disc 2010, Cambridge, Ma, Usa, September 13-15, 2010, Proceedings

Nancy A. Lynch Hardcover
$80.50
Mathematical Modeling and Supercomputer Technologies: 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

Dmitry Balandin Paperback
$58.50
Mathematical Modeling and Supercomputer Technologies: 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020, Revised Selected Papers

Dmitry Balandin Paperback
$80.50
2 formats available
Proceedings of the 7th Australian Conference on Parallel and Real Time Systems (Part 2000)

H Elgindy Hardcover
$77.95
Multiple Access Communications: Third International Workshop, Macom 2010, Barcelona, Spain, September 13-14, 2010, Proceedings

Alexey Vinel Paperback
$80.50
Mathematical Modeling and Supercomputer Technologies: 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

Dmitry Balandin Paperback
$124.50
2 formats available
String Processing and Information Retrieval: 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

Costas Iliopoulos Paperback
$80.50
Information Computing and Applications: First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, Proceedings

Rongbo Zhu Paperback
$160.95
Databases and Information Systems: Fourth International Baltic Workshop, Baltic Db

Janis Barzdins Paperback
$248.50
2 formats available
High Performance Networking, Computing, Communication Systems, and Mathematical Foundations: International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

Yanwen Wu Paperback
$80.50

Editorial reviews

jeannette m wing

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Overview

You May Also Like

Distributed Computing in Sensor Systems: 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings

Databases Theory and Applications: 34th Australasian Database Conference, ADC 2023, Melbourne, VIC, Australia, November 1-3, 2023, Proceedings

Computer and Communication Engineering: Third International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023, Revised Selected Papers

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Web Content Caching and Distribution: Proceedings of the 8th International Workshop

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

String Processing And Information Retrieval: 27th International Symposium, Spire 2020, Orlando, Fl, Usa, October 13-15, 2020, Proceedings

Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

String Processing And Information Retrieval: 24th International Symposium, Spire 2017, Palermo, Italy, September 26-29, 2017, Proceedings

Distributed Computing: 24th International Symposium, Disc 2010, Cambridge, Ma, Usa, September 13-15, 2010, Proceedings

Mathematical Modeling and Supercomputer Technologies: 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

Mathematical Modeling and Supercomputer Technologies: 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020, Revised Selected Papers

Proceedings of the 7th Australian Conference on Parallel and Real Time Systems (Part 2000)

Multiple Access Communications: Third International Workshop, Macom 2010, Barcelona, Spain, September 13-14, 2010, Proceedings

Mathematical Modeling and Supercomputer Technologies: 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13-16, 2023, Revised Selected Papers

String Processing and Information Retrieval: 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings

Information Computing and Applications: First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, Proceedings

Databases and Information Systems: Fourth International Baltic Workshop, Baltic Db

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations: International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Proceedings of the 21st Congress of the International Ergonomics Association (Iea 2021): Volume II: Inclusive Design

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings

Principles of Document Processing: Third International Workshop, PODP '96, Palo Alto, California, USA, September 23, 1996. Proceedings

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Aspects of Automated Natural Language Generation: 6th International Workshop on Natural Language Generation Trento, Italy, April 5-7, 1992. Proceedings

Issues in Software Engineering Education: Proceedings of the 1987 SEI Conference on Software Engineering Education, Held in Monroeville, Paris, April 30- May 1, 1987

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

History of Computing and Education 2 (HCE2): IFIP 19th World Computer Congress, WG 9.7, TC 9: History of Computing, Proceedings of the Second Conference on the History of Computing and Education, August 21-24, Santiago, Chile

TeX, XML, and Digital Typography: International Conference on TEX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TEX User Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004, Proceedings