Formal Methods and Software Engineering
Odporučiť
  • Anglický jazyk

Formal Methods and Software Engineering

Autor: Meng Sun

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 22 revised full papers presented together with 14 short... Viac o knihe

Na objednávku

49.49 €

bežná cena: 54.99 €

O knihe

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

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

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.