Formal Aspects of Component Software
Odporučiť
  • Anglický jazyk

Formal Aspects of Component Software

Autor: Sung-Shik Jongmans

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
The 9 full papers presented... Viac o knihe

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

49.49 €

bežná cena: 54.99 €

O knihe

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.
The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions.
FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

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

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

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.