Formal Methods: Foundations and Applications
Odporučiť
  • Anglický jazyk

Formal Methods: Foundations and Applications

Autor: Mohammad Reza Mousavi

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... Viac o knihe

Na objednávku

56.14 €

bežná cena: 63.79 €

O knihe

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.

  • Vydavateľstvo: Springer International Publishing
  • Rok vydania: 2018
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783030030438

Odporúčané tituly:

Spieleprogrammierung, m. CD-ROM
  • Nemecký jazyk Nemecký jazyk

Spieleprogrammierung, m. CD-ROM

Martin Stephen

31.02 € 35.25 € (ušetríte 12%)
Enterprise Integration w/WS (OMG)

Enterprise Integration w/WS (OMG)

65.90 € 74.89 € (ušetríte 12%)
Levin, L: Easyscript/Computerscript 1
  • Anglický jazyk Anglický jazyk

Levin, L: Easyscript/Computerscript 1

112.75 € 128.13 € (ušetríte 12%)
Business the Amazon.com Way

Business the Amazon.com Way

22.23 € 25.26 € (ušetríte 12%)
Customizing Materials Management Processes in SAP ERP

Customizing Materials Management Processes in SAP ERP

67.72 € 76.95 € (ušetríte 12%)
Pro Javascript Techniques
  • Anglický jazyk Anglický jazyk

Pro Javascript Techniques

John Resig

49.77 € 56.56 € (ušetríte 12%)
NX-OS and Cisco Nexus Switching
  • Anglický jazyk Anglický jazyk

NX-OS and Cisco Nexus Switching

Rôzni autori (editori)

64.17 € 72.92 € (ušetríte 12%)
Cavalier, R: Impact of the Internet on Our Moral Lives
  • Anglický jazyk Anglický jazyk

Cavalier, R: Impact of the Internet on Our Moral Lives

Robert J. Cavalier

23.65 € 26.87 € (ušetríte 12%)
Data Model Patterns: A Metadata Map
  • Anglický jazyk Anglický jazyk

Data Model Patterns: A Metadata Map

DAVID C. HAY

68.30 € 77.61 € (ušetríte 12%)
Digital Layout for the Internet and Other Media
  • Anglický jazyk Anglický jazyk

Digital Layout for the Internet and Other Media

David Skopec

48.08 € 54.64 € (ušetríte 12%)
Art of Downloading Music, The
  • Anglický jazyk Anglický jazyk

Art of Downloading Music, The

Steve Levine

12.36 € 14.04 € (ušetríte 12%)
Microsoft Office System 2003 Step by Step
  • Anglický jazyk Anglický jazyk

Microsoft Office System 2003 Step by Step

Microsoft

57.43 € 65.26 € (ušetríte 12%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.