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

48.39 €

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.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.