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 € GLS courier 4.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

Up to 30 days for returns

Customers also purchased

Politik in den Massenmedien Udo Michel

Paperback

17.95 €

Honey Lemon Soda T13

Paperback

11.09 €

Vom Wesen der Illusion Michael Ackermann

Paperback

9.49 €

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

Paperback

36.79 €

Vom Lernen und Lehren Samson Raphael Hirsch

Paperback

29.90 €

Lehrbuch der Personalpsychologie einz Schuler

Hardback

99.95 €

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

22.69 €

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

Hardback

41.99 €

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

Blu-ray

52.79 €

Exactitudes Noailles

Paperback

25.89 €

Rund um ... - Sekundarstufe I Ute Fenske

Paperback

29.29 €

Das Käthchen von Heilbronn Heinrich von Kleist

Paperback

6.99 €

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

Paperback

23.69 €

Der Gärtner Rabindranath Tagore

Hardback

13.29 €

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Hardback

68.00 €

Klassische Reitkunst mit Anja Beran Anja Beran

Hardback

59.90 €

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

Paperback

15.39 €

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Hardback

29.90 €

Hellsehen Charles W. Leadbeater

Book

12.95 €

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

Paperback

41.59 €

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

Paperback

11.99 €

Der Realitätenkellner Werner A. Leeb

Paperback

39.00 €

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.