Rigorous State-Based Methods
Odporučiť
  • Anglický jazyk

Rigorous State-Based Methods

Autor: Alexander Raschke

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.... Viac o knihe

Na objednávku

59.39 €

bežná cena: 65.99 €

O knihe

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.

The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.

  • Vydavateľstvo: Springer Vieweg
  • Rok vydania: 2021
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783030775421

Odporúčané tituly:

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

Spieleprogrammierung, m. CD-ROM

Martin Stephen

31.73 € 35.25 € (ušetríte 10%)
Levin, L: Easyscript/Computerscript 1
  • Anglický jazyk Anglický jazyk

Levin, L: Easyscript/Computerscript 1

115.32 € 128.13 € (ušetríte 10%)
Customizing Materials Management Processes in SAP ERP

Customizing Materials Management Processes in SAP ERP

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

Pro Javascript Techniques

John Resig

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

NX-OS and Cisco Nexus Switching

Rôzni autori (editori)

65.63 € 72.92 € (ušetríte 10%)
The Impact of the Internet on Our Moral Lives
  • Anglický jazyk Anglický jazyk

The Impact of the Internet on Our Moral Lives

Robert J. Cavalier

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

Data Model Patterns: A Metadata Map

DAVID C. HAY

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

Digital Layout for the Internet and Other Media

David Skopec

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

Art of Downloading Music, The

Steve Levine

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

Microsoft Office System 2003 Step by Step

Microsoft

58.73 € 65.26 € (ušetríte 10%)
Photoshop User`s A-Z, The
  • Anglický jazyk Anglický jazyk

Photoshop User`s A-Z, The

Peter Cope

31.13 € 34.59 € (ušetríte 10%)
Handbook of Computer Game Studies
  • Anglický jazyk Anglický jazyk

Handbook of Computer Game Studies

RAESSENS ⁄GOLDSTEIN

67.49 € 74.99 € (ušetríte 10%)

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