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) - Image 1

£41.15

Springer 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)

Name: 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)
Brand: Springer
Price: 43.7 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 78 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (32 days, 41.0%)

Price range: £41 - £44

Price levels: 3 different prices over 78 days

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642198287
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 23 March 2011
Listed Since: 14 February 2011

Barcode

No barcode data available

Springer 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

Modern Formal Methods and Applications

Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings: 8592 (Lecture Notes in Computer Science, 8592)

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

Formal Methods, Informally: How to Write Programs That Work

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Joint International Conference, FAW-AAIM 2012, Beijing, China, May ... (Lecture Notes in Computer Science, 7285)

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983: 164 (Lecture Notes in Computer Science, 164)

Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings: 4695 (Lecture Notes in Computer Science, 4695)

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)

Software Engineering and Methodology for Emerging Domains: 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, ... in Computer and Information Science, 675)

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)

Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings: 226 (Lecture Notes in Computer Science, 226)

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016: 454 (Lecture Notes in Electrical Engineering, 454)

Statistische Methoden: Für Naturwissenschafter, Mediziner und Ingenieure: 6 (Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften, 6)

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings: 5028 (Lecture Notes in Computer Science, 5028)

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings: 4639 (Lecture Notes in Computer Science, 4639)

Fortschritte der Chemie Organischer Naturstoffe: Eine Sammlung von Zusammenfassenden Berichten: 3 (Fortschritte der Chemie organischer Naturstoffe ... the Chemistry of Organic Natural Products, 3)

Applications Of Formal Methods (Prentice-hall International Series in Computer Science)

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

Mathematics and Technology (Springer Undergraduate Texts in Mathematics and Technology)

Parameterized and Exact Computation: 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings: 7535 (Lecture Notes in Computer Science, 7535)