NASA Formal Methods Image close
NASA Formal Methods
NASA Formal Methods
Show Hide Adult Content
NASA Formal Methods close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$158.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.50 with Afterpay Learn more

6 weekly interest-free payments of $26.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Requirements Engineering: Foundation for Software Quality
$165.00
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out Tuesday
Advances in Knowledge Discovery and Data Mining
$316.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Advances in Knowledge Discovery and Data Mining
$265.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$205.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$368.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$318.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Software Engineering Education
$157.00
Software Engineering Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Dependable Computing - EDCC-1
$304.00
Dependable Computing - EDCC-1
Paperback / softback
Available - Usually ships in 3-4 weeks
Computing in Object-Oriented Parallel Environments
$151.00
Computing in Object-Oriented Parallel Environments
Paperback / softback
Available - Usually ships in 3-4 weeks
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
$151.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing
$303.00
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Parallel Processing Technologies
$134.00
Advanced Parallel Processing Technologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Centered and Error-Resilient Systems Development
$155.00
Human-Centered and Error-Resilient Systems Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases. Research Track
$321.00
Machine Learning and Knowledge Discovery in Databases. Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$269.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Multi-Criterion Optimization
$269.00
Evolutionary Multi-Criterion Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
Release date NZ
April 9th, 2015
Audience
  • Professional & Vocational
Contributors
  • Edited by Gerard Holzmann
  • Edited by Klaus Havelund
  • Edited by Rajeev Joshi
Illustrations
115 Illustrations, black and white; XIII, 458 p. 115 illus.
Pages
458
Dimensions
155x235x24
ISBN-13
9783319175232
Product ID
23453232

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Operating systems
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation