Skip to main content Skip to footer content

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

Ritchie Lee Edited by Susmit Jha , Anastasia Mavridou

Aug 09, 2020

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

Overview

Language

English

No. of Pages

442

Programming and Software Engineering

Publisher: Springer Nature

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

ISBN: 9783030557539

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
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Gwen Sala Paperback
$80.50
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
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
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I

Pasqua D'Ambra Paperback
$160.95
String Processing and Information Retrieval: 30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings

Franco Maria Nardini Paperback
$109.50
2 formats available
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Paperback
$145.95
2 formats available
Neural Information Processing. Models and Applications: 17th International Conference, ICONIP 2010, Sydney, Australia, November 21-25, 2010, Proceedings, Part II

Kevin K.W. Wong Paperback
$160.95
Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Carlo A. Furia Paperback
$80.50
New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Simonetta Balsamo Paperback
$80.50
2 formats available
Computational Science - Iccs 2019: 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part I

João M. F. Rodrigues Paperback
$145.95
2 formats available
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Víctor Braberman Paperback
$72.95
Functional And Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings

Keisuke Nakano Paperback
$80.50
2 formats available
Dependability In Sensor, Cloud, And Big Data Systems And Applications: 5th International Conference, Dependsys 2019, Guangzhou, China, November 12-15, 2019, Proceedings

Guojun Wang Paperback
$80.50
2 formats available
Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Frank Dehne Paperback
$80.50
HCI International 2020 - Late Breaking Papers: Digital Human Modeling and Ergonomics, Mobility and Intelligent Environments: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Constantine Stephanidis Paperback
$160.95
2 formats available
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Cyrille Artho Paperback
$80.50
2 formats available
Conceptual Modeling - ER 2013: 32th International Conference, Er 2013hong-kong, China, November 11-13, 2013, Proceedings

Wilfred Ng Paperback
$80.50
Passive and Active Measurement: 24th International Conference, Pam 2023, Virtual Event, March 21-23, 2023, Proceedings

Paperback
$110.50
2 formats available

Editorial reviews

susmit jha

Author

Algorithms and Models for the Web-Graph: 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings

Ravi Kumar Paperback
$80.50
Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings

Anastasia Ailamaki Paperback
$80.50
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Paperback
$80.50
2 formats available
Integer Programming And Combinatorial Optimization: 22nd International Conference, Ipco 2021, Atlanta, Ga, Usa, May 19-21, 2021, Proceedings

Mohit Singh Paperback
$80.50
2 formats available
In Memory Data Management and Analysis: First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers

Arun Jagatheesan Paperback
$65.95
2 formats available
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, Proceedings

Trond Aalberg Paperback
$80.50
Model-driven Simulation and Training Environments for Cybersecurity: Second International Workshop, MSTEC 2020, Guildford, UK, September 14-18, 2020, Revised Selected Papers

George Hatzivasilis Paperback
$80.50
2 formats available
Location and Context Awareness: 4th International Symposium, Loca 2009 Tokyo, Japan, May 7-8, 2009 Proceedings

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

Sotiris Nikoletseas Paperback
$80.50
MultiMedia Modeling: 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part I

Cathal Gurrin Paperback
$160.95
High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings

Bradford L. Chamberlain Paperback
$80.50
2 formats available
Database Systems for Advanced Applications: 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I

Sourav S. Bhowmick 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
Security Standardisation Research: 6th International Conference, Ssr 2020, London, Uk, November 30 - December 1, 2020, Proceedings

Thyla Van Der Merwe Paperback
$80.50
2 formats available
Advances In Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

Iris Reinhartz-berger Paperback
$87.95
2 formats available
Algorithmic Game Theory: 9th International Symposium, Sagt 2016, Liverpool, Uk, September 19-21, 2016, Proceedings

Martin Gairing Paperback
$80.50
2 formats available
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Natarajan Shankar Paperback
$80.50
Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Roger Chamberlain Paperback
$80.50
2 formats available
Advances in Intelligent Data Analysis XI: 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings

Jaakko Hollmen Paperback
$80.50
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings

Alex Groce Paperback
$102.50