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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Approaches to Software Testing

Name: Formal Approaches to Software Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562128
Price: 53.79 EUR
Availability: InStock
Author: Wolfgang Grieskamp
ISBN: 9783540344544

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Wolfgang Grieskamp

Carsten Weise

Lingua

Inglese

Libro In brossura

Codice Libristo: 01562128

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

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Descrizione completa

Codice Libristo: 01562128

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

First Christmas Children's Book (Portuguese) Nate Books

In brossura

11.19 €

Praca dyplomowa i doktorska Gambarelli Gianfranco

In brossura

14.89 €

Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser

In brossura

98.19 €

Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone

In brossura

32.79 €

Brasilien Stefan Zweig

Rigido

21.79 €

ricordo che non avevo Alberto Melis

In brossura

21.39 €

First Impressions A guide to drawing materials

DVD

4.99 €

Love Monster. Potworek szuka miłości Bright Rachel

Rigido

9.39 €

Burnout-Syndrom Kirsten Michels

In brossura

15.09 €

Pastorální teologie včera, dnes a zítra Aleš Opatrný

In brossura

9.29 €

Pimpa - Pimpa y su gemela Pimpa Altan

Adobe ePub DRM

6.19 €

Field Songs Mark Lanegan Audio

CD audio

11.69 €

Resume de l'Anthropologie de la Tunisie Bertholon-L

In brossura

14.19 €

Journal d'un chat assassin (nouvelle édition) Fine

Rigido

11.79 €

Journal de marche d'une escadrille... CERO 301-1955 SHAA

Rigido

14.09 €

Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble

MP3

3.09 €

Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K

In brossura

105.99 €

Industrietourismus in Deutschland Anja Schramm

In brossura

68.99 €

O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza

In brossura

52.19 €

Internationale Umweltregime Und Technische Innovation Benjamin Miethling

In brossura

76.59 €

De la maceta a la mesa McTernan

In brossura

20.99 €

Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen

In brossura

12.99 €

Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies

In brossura

51.99 €

Los cruzados de la causa Ramon Maria Del Valle-Inclan

In brossura

11.59 €

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

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 Formal Approaches to Software Testing

Autore Wolfgang Grieskamp, Carsten Weise

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2006

Numero di pagine 219

EAN 9783540344544

ISBN 3540344543

Codice Libristo 01562128

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

Peso 750

Dimensioni 155 x 235 x 13

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

Hybrid Systems: Computation and Control Rupak Majumdar

In brossura

53.79 €

Electrocaloric Materials Tatiana Correia

Rigido

107.29 €

Black Hawk: The Battle for the Heart of America Kerry A. Trask

In brossura

22.79 €

Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister

Rigido

195.29 €

Housing, Fuel Poverty and Health HEALY

In brossura

74.39 €

Collection of Treaties Between Great Britain and Other Powers, Volume 2 George Chalmers

Rigido

41.59 €

Exposed Shannon M. Deitz

In brossura

12.69 €

Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie

In brossura

11.19 €

Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson

In brossura

9.29 €

Water Trading and Global Water Scarcity Josefina Maestu

In brossura

77.69 €

River of Light and Shadow Allen Kent

In brossura

10.39 €

Arthur and Friends Mikael Lindnord

In brossura

16.29 €

Sophia Christina B O'Doherty

In brossura

26.59 €

Achieving Buzzword Compliance DAVID C HAY

In brossura

51.29 €

Michelin Sri Lanka Road & Tourist Map 803

Mappa

12.99 €

Selected Works of George E. Andrews George E Andrews

Rigido

416.99 €

The Typology of Scripture Patrick Fairbairn

In brossura

33.59 €

Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw

In brossura

15.79 €

Gradations in Euclid Henry Green

In brossura

35.39 €

The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone

In brossura

26.89 €

A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied

In brossura

24.89 €