Controllare lo stato dell'ordine

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 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Formal Approaches to Software Testing and Runtime Verification Klaus Havelund

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Lingua

Inglese

Libro In brossura

Libro Formal Approaches to Software Testing and Runtime Verification Klaus Havelund

Codice Libristo: 01565081

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

This book constitutes the thoroughly refereed post-proceedings of the First Combined International W... Descrizione completa

Codice Libristo: 01565081

?

points

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

ber Eine Ballonsonde F r Polarlichtmessungen Und ber Den Vergleich Von Polarlichtemissionen, R ntgenstrahlen Und Ionosph rischen Absorptionen K. Richter

/

In brossura

46.79 €

Punkty przecięcia Paulina Cedlerska

/

In brossura

8.09 €

La Orden de Santiago en Guadalajara : la encomienda de Mohernando y el condado de Humanes Miguel Marchamalo Main

/

In brossura

20.19 €

futuro raccontato dalle piante. Cosa possiamo imparare dal regno vegetale e dal suo percorso sul pianeta Barbara Mazzolai

/

Rigido

17.10 €

LENGUA CASTELLANA Y LITERATURA, 1 ESO. CUADERNO DE LEXICO EQUIP EDITORIAL CRUILLA

/

Libro

6.29 €

INTERROS DES LYCEES MATHS 2DE Erik de Brauwere

/

In brossura

14.69 €

Soudruhu, nezlob se! - Společenská hra Ivan Mládek

/

Gioco

13.19 €

Tea Party Lorenzo F. Díaz

/

In brossura

17.19 €

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

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

Informazioni sul libro

Titolo completo Formal Approaches to Software Testing and Runtime Verification

Autore Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2006

Numero di pagine 255

EAN 9783540496991

ISBN 3540496998

Codice Libristo 01565081

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

Peso 421

Dimensioni 155 x 235 x 15

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione

Informatica e Tecnologia dell’Informazione > Hardware informatico > Manutenzione e riparazione

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 > Programmazione / ingegneria del software > Ingegneria del software

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

Informatica e Tecnologia dell’Informazione > Sistemi operativi

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Everett Railroad: History Through the Miles Barton Jennings

/

In brossura

8.49 €

The Rage Gene Kerrigan

/

In brossura

10.89 €

Persuasion Jane Austen

/

In brossura

11.59 €

Bloody Tears Danielle Houghton

/

In brossura

11.59 €

Game Production Handbook Chandler

/

In brossura

92.89 €

White Fang Jack London

/

In brossura

14.79 €

The Whale Whisperers: : The Shaman's Curse Dale Palko M D

/

In brossura

7.99 €

History and Heritage of St James's Hospital, Dublin Mary Coakley

/

Rigido

59.39 €

Oxford Mathematics for the Caribbean 6th edition: 11-14: Workbook 2 Nicholas Goldberg

/

In brossura

11.49 €

Animal Game Daniel E. Bender

/

Rigido

44.59 €

Documents Relating to the Colonial History of the State of New Jersey, [1631-1776] Volume 19 William Nelson

/

In brossura

34.79 €

Routledge Handbook of Modern Korean History Michael Seth

/

In brossura

59.99 €

Teaching Late Twentieth-Century Mexicana and Chicana Writers Elizabeth Coonr Martínez

/

In brossura

43.09 €

Gender in Ottoman Constantinople David Selim Sayers

/

Rigido

29.89 €

The Stepdaughter Gary Indiana

/

In brossura

11.49 €

Deep Down (A Jack Reacher short story) Lee Child

/

MP3

6.79 €

Secret Window Betty Ren Wright

/

Adobe ePub DRM

6.09 €

Feminism and the Power of Law Carol Smart

/

In brossura

78.69 €

The United States Marines Ltcol Charles Patrick Neimeyer

/

Rigido

45.09 €

Battle for the White House from Bush to Obama AnthonyJ Bennett

/

Rigido

49.89 €

Study of Thomas Hardy and Other Essays D. H. LawrenceBruce Steele

/

In brossura

55.99 €

Knowledge and Practice in English Medicine, 1550-1680 Andrew Wear

/

Rigido

120.29 €

Impact of Emerging Technologies on Computer Science and Operations Research Stephen G. Nash

/

In brossura

208.49 €

Ten Days That Shook the World John Reed

/

In brossura

10.09 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?