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.82

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.82 GBP
Availability: InStock

Information Management

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£45 today · all-time low £45 (Apr 2026) · usually £45

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 80 days · 80 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 80 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £45 - £45

Price levels: 1 different prices over 80 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)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

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)

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

Artech House Software Test Design Practitioner's Guide

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

How to Reduce the Cost of Software Testing

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)