Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902) - Image 1

£44.78

Springer Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Name: Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
Brand: Springer
Price: 44.78 GBP
Availability: InStock

Information Management

It has never been this cheap. We have no record of a lower price.

£45 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 38 days • 38 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 38 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (38 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 38 days

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642104517
Category: Books > Subjects > Business, Finance & Law > Management > Information Management
Domain: Amazon UK
Release Date: 09 November 2009
Listed Since: 14 October 2009

Barcode

No barcode data available

Springer Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)

Formal Methods: State of the Art and New Directions

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Software Testing: A Craftsman’s Approach, Fifth Edition

Essentials of Software Testing

A Practitioner’s Guide to Software Test Design (Artech House Computing Library)

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)

Systematic Software Testing (Computing Library)

Fundamentals of Software Testing: An Overview: Software Engineering

Green and Sustainable Computing: Part II (Volume 88) (Advances in Computers, Volume 88)

Introduction to Software Testing

Fundamentals of Software Testing: 590 (Iste)

Advances in Computers: Volume 112

Formalization of Complex Analysis and Matrix Theory

Software-Qualität: Testen, Analysieren und Verifizieren von Software

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Springer - Formal Methods and Models for System Design Book