Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567838
Price: 101.79 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01567838

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2008

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

Codice Libristo: 01567838

249 b

101.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Politik in den Massenmedien Udo Michel

In brossura

16.89 €

Honey Lemon Soda T13

In brossura

8.79 €

Vom Wesen der Illusion Michael Ackermann

In brossura

8.59 €

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

In brossura

30.40 €

Vom Lernen und Lehren Samson Raphael Hirsch

In brossura

26.49 €

Lehrbuch der Personalpsychologie einz Schuler

Rigido

93.09 €

Baby to Go, 1 Blu-ray Sophie Barthes

Blu-ray

18.59 €

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

Rigido

41.99 €

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

Blu-ray

44.49 €

Exactitudes Noailles

In brossura

20.49 €

Rund um ... - Sekundarstufe I Ute Fenske

In brossura

27.89 €

Das Käthchen von Heilbronn Heinrich von Kleist

In brossura

6.99 €

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

In brossura

23.69 €

Der Gärtner Rabindranath Tagore

Rigido

10.59 €

Selbsterkenntnis und Gotteserkenntnis. Bd.1 Rudolf Steiner

Rigido

56.79 €

Klassische Reitkunst mit Anja Beran Anja Beran

Rigido

46.99 €

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

In brossura

15.39 €

Aus Der Chronik Eines Geistlichen Herrn Emil Wilhelm Frommel

Rigido

26.49 €

Hellsehen Charles W. Leadbeater

Libro

10.99 €

Sistemas de aeronaves de turbina II FELIPE GATO GUTIERREZ

In brossura

41.59 €

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

In brossura

9.39 €

Der Realitätenkellner Werner A. Leeb

In brossura

34.99 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Verified Software: Theories, Tools, Experiments

Autore Bertrand Meyer, Jim Woodcock

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2008

Numero di pagine 546

EAN 9783540691471

ISBN 3540691472

Codice Libristo 01567838

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 866

Dimensioni 155 x 235 x 33

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Sistemi operativi