Leveraging Applications of Formal Methods
Odporučiť
  • Anglický jazyk

Leveraging Applications of Formal Methods

Autor: Bernhard Steffen

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss... Viac o knihe

Na objednávku

48.39 €

bežná cena: 54.99 €

O knihe

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 2006
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783540489283

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.