Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 107.29 EUR
Availability: InStock
Author: Bertrand Meyer
ISBN: 9783540691471

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Bertrand Meyer

Jim Woodcock

Language

English

Book Paperback

Libristo code: 01567838

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2008

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verif... Full description

Libristo code: 01567838

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Vom Wesen der Illusion Michael Ackermann

Paperback

9.49 €

Space Rat 1: Intergalaktisch (Legendary Edition) Mathias Tikwa Neumann

Paperback

15.39 €

BABADADA, Tiếng Việt - Suomi, từ điển tranh minh họa - kuvasanakirja Babadada Gmbh

Paperback

29.49 €

Them's Fightin' Herds, 1 PS4-Blu-ray Disc

Blu-ray

52.89 €

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

22.69 €

Vom Lernen und Lehren Samson Raphael Hirsch

Paperback

29.90 €

tempo dei padri. L'istinto maschile nella cura dei figli Sarah Blaffer Hrdy

Paperback

36.89 €

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Paperback

47.79 €

Gr'ce Ancienne. L'Espace Et Le Temps(la) T2 Jean-Pierre Vernant

Paperback

12.09 €

Lehrbuch der Personalpsychologie einz Schuler

Hardback

99.95 €

Der Gärtner Rabindranath Tagore

Hardback

11.90 €

Der Realitätenkellner Werner A. Leeb

Paperback

39.00 €

Hellsehen Charles W. Leadbeater

Book

13.89 €

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Hardback

29.90 €

Klassische Reitkunst mit Anja Beran Anja Beran

Hardback

59.90 €

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Hardback

70.99 €

Politik in den Massenmedien Udo Michel

Paperback

17.95 €

Das Käthchen von Heilbronn Heinrich von Kleist

Paperback

8.49 €

Rund um ... - Sekundarstufe I Ute Fenske

Paperback

29.29 €

Natur und Technik - Biologie (Ausgabe 2011) - Gesamtschule/Sekundarschule Nordrhein-Westfalen - Differenzierende Ausgabe - Band 2 Monika Bartels-Eder

Hardback

50.89 €

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.