Leveraging Applications of Formal Methods

Name: Leveraging Applications of Formal Methods
Price: 456,60 DKK
Availability: InStock
ISBN: 9783540489290

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Full access

456,60 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

60 days rental

199,56 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

90 days rental

242,40 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

120 days rental

285,25 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

180 days rental

306,74 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

365 days rental

456,60 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.

Product description

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.

Select variation, to see accessibility information

Details

ISBN13 9783540489290
Released 2006
Publisher Springer
Format Elektronisk medie
Edition 1
Language English