Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171) - Image 1

£37.19

Springer Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

Name: Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)
Brand: Springer
Price: 33.91 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 82 days • 82 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (32 days, 39.0%)

Price range: £33 - £37

Price levels: 4 different prices over 82 days

Description

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540691472
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 07 July 2008
Listed Since: 12 May 2008

Barcode

No barcode data available

Springer Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)

Software Engineering Techniques: Design for Quality: 227 (IFIP Advances in Information and Communication Technology, 227)

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, ... and Communication Technology, 173)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Verification, Validation and Testing in Software Engineering

Formal System Verification: State-of the-Art and Future Trends

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Open Source Development, Communities and Quality: IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, ... and Communication Technology, 275)

Open Source Development, Communities and Quality: IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, ... and Communication Technology, 275)

The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, ... Information and Communication Technology, 60)

The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, ... Information and Communication Technology, 60)

Software Technology: 10 Years of Innovation in IEEE Computer

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Writing Testbenches using SystemVerilog

Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings: 3378 (Lecture Notes in Computer Science, 3378)

Learning to Live in the Knowledge Society: IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference, September 7-10, 2008, Milano, Italy: 281 ... and Communication Technology, 281)

Software-Qualität: Testen, Analysieren und Verifizieren von Software

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

Software-Entwicklung unter dem Aspekt der Qualitätssicherung

Systems and Software Verification: Model-Checking Techniques and Tools

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)