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

£46.51

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

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

Careers

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 70 days • 1 price levels

Days at Price

Price Analysis

Most common price: £47 (70 days, 100.0%)

Price range: £47 - £47

Price levels: 1 different prices over 70 days

Description

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319708473
Category: Books > Subjects > Business, Finance & Law > Careers
Domain: Amazon UK
Release Date: 12 November 2017
Listed Since: 12 October 2017

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

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

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

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Springer - Formal Methods and Models for System Design Book

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)

Formal System Verification: State-of the-Art and Future Trends

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods in Computer Science (Textbooks in Mathematics)

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 4421)

Formal Methods: State of the Art and New Directions

Formal Methods in Computer Science (Textbooks in Mathematics)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Modern Formal Methods and Applications

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Formal Languages and Compilation (Texts in Computer Science)

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)