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

£47.84

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

Name: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)
Brand: Springer
Price: 46.91 GBP
Availability: InStock

Algorithms

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 77 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (68 days, 88.3%)

Price range: £47 - £48

Price levels: 2 different prices over 77 days

Description

Product Description This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications. Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. From the Back Cover Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030030431
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 24 October 2018
Listed Since: 20 September 2018

Barcode

No barcode data available

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

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)

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)

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

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

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

Formal Languages and Compilation (Texts in Computer Science)

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

Springer - Logics of Specification Languages Monograph

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Computational and Statistical Methods in Intelligent Systems: 859 (Advances in Intelligent Systems and Computing, 859)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Formal Methods and Models for System Design Book

Formal Methods in Computer Science (Textbooks in Mathematics)

Formal Methods: State of the Art and New Directions

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

Language Computability and Formal Language Theory

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)

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings: 12811 (Lecture Notes in Computer Science, 12811)