Skip to main content Skip to footer content

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Edited by Swarat Chaudhuri

Jun 03, 2023

$145.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 730 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

490

Lecture Notes In Computer Science

Publisher: Springer Nature

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

ISBN: 9783031331695

Nasa Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle Paperback
$145.95
2 formats available
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Gwen Sala Paperback
$80.50
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceeding: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Matthias Blume Paperback
$80.50
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Gordon Fraser Paperback
$80.50
Functional And Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings

Keisuke Nakano Paperback
$80.50
2 formats available
Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings

Marco Winckler Hardcover
$80.50
Cellular Automata and Discrete Complex Systems: 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

Maximilien Gadouleau Paperback
$87.95
2 formats available
Applications of Evolutionary Computation: 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings

Paul Kaufmann Paperback
$80.50
2 formats available
Cellular Automata and Discrete Complex Systems: 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings

Maximilien Gadouleau Paperback
$72.95
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Paperback
$116.95
2 formats available
Formal Modeling And Analysis Of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Nathalie Bertrand Paperback
$80.50
2 formats available
Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, Proceedings

Zhipeng Cai Paperback
$80.50
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Paperback
$109.50
2 formats available
Euro-par 2013: Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings

Felix Wolf Paperback
$80.50
Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Henning Bordihn Paperback
$94.95
2 formats available
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Carla Ferreira Paperback
$102.50
2 formats available
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Cristina David Paperback
$124.50
2 formats available
Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings

Matthias S. Müller Paperback
$80.50
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Paperback
$116.95
2 formats available
Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceeding: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Jeremy Gibbons Paperback
$72.95

Editorial reviews

swarat chaudhuri

Author

COTS-Based Software Systems: Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings

Rick Kazman Paperback
$80.50
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Julia M. Badger Paperback
$109.50
2 formats available
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Robert Gl Paperback
$80.50
2 formats available
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Paperback
$72.95
Maple In Mathematics Education And Research: Third Maple Conference, Mc 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings

Jürgen Gerhard Paperback
$80.50
2 formats available
Learning and Intelligent Optimization: 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers

Meinolf Sellmann Paperback
$145.95
2 formats available
Algorithm Engineering and Experiments: 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers

David M. Mount Paperback
$80.50
Advances in Enterprise Engineering IV: 6th International Workshop, CIAO! 2010, held at DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010, Proceedings

Antonia Albani Paperback
$80.50
Algorithms in Bioinformatics: 10th International Workshop, Wabi 2010, Liverpool, Uk, September 6-8, 2010, Proceedings

Vincent Moulton Paperback
$160.95
Operating Systems: Proceedings of an International Symposium Held at Rocquencourt, April 23-25, 1974

Paperback
$71.50
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Paperback
$116.95
2 formats available
Geometric Science of Information: 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I

Frank NIELSEN Paperback
$131.50
2 formats available
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part III

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Geometric Science of Information: 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part II

Frank NIELSEN Paperback
$145.95
2 formats available
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Juliana Bowles Paperback
$94.95
2 formats available
RFID Security and Privacy: 7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers

Ari Juels Paperback
$80.50
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Jos Abdelnour Nocera Paperback
$145.95
2 formats available
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Paperback
$124.50
2 formats available
Human-Computer Interaction - INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I

Jos Abdelnour Nocera Paperback
$145.95
2 formats available