Verified Software. Theories, Tools and Experiments.
Odporučiť
  • Anglický jazyk

Verified Software. Theories, Tools and Experiments.

Autor: Stefano Tonetta

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17¿18, 2022.

The 9 papers presented in this volume were carefully... Viac o knihe

Na objednávku, dodanie 2-4 týždne

48.39 €

bežná cena: 54.99 €

O knihe

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17¿18, 2022.

The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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

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.