Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €
phone Contatto phoneCome acquistare

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Testing Robert M. Hierons
Codice Libristo: 01570095
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2008
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Te... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Mundakupunktur Jochen M. Gleditsch / Libro In brossura
common.buy 38.89 €
Reorganisation und Konzentration im Seeverkehr Alexander Wijgers / Libro In brossura
common.buy 16.89 €
Bedeutung von Symbolen fur die Politik Katharina Werner / Libro In brossura
common.buy 16.89 €
Die Rose von Asturien Iny Lorentz / Libro In brossura
common.buy 14.19 €
Roboty z planety świtu Asimov Isaac / Libro Rigido
common.buy 15.49 €
Bawię się i uczę ze smokiem Dżokiem W lesie Łanocha Katarzyna / Libro In brossura
common.buy 2.89 €
Judaeans by the Waters of Babylon: New Historical Evidence in Cuneiform Sources from Rural Babylonia Wunsch Libro Rigido
common.buy 198.39 €
Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection / Libro In brossura
common.buy 14.79 €
Unitary Developmental Theory and Psychological Development Across the Lifespan, Volume 1 Sweeney / Libro In brossura
common.buy 65.79 €
Economico
Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner / Libro In brossura
common.buy 0.69 €
El bilingüismo Rosario Rodríguez de Tembleque / Libro In brossura
common.buy 36.99 €
Psicología profunda y nueva ética : nueva valoración de la conducta humana a la luz de la psicología moderna Erich Neumann / Libro In brossura
common.buy 12.99 €
Ensayos sobre educación Michel de Montaigne / Libro In brossura
common.buy 18.89 €
Zonaci ksieza? 30 palacych pytan w kwestii celibatu / Libro In brossura
common.buy 4.99 €
Leczenie krwia Anna Klimczyk / Libro In brossura
common.buy 17.29 €
Geodesia Fisica Joan Josep Martinez-Benjamin / Libro In brossura
common.buy 21.89 €
Workflows Sharepoint(R) Designer 2013, Concepts Et Travaux Pratiques Claude COUDERC / Libro In brossura
common.buy 46.89 €
Klavier-Assoziationen Tatjana Davidoff / Pubblicazioni cartacee Note
common.buy 17.79 €
Die gegenwärtige Krise Europas Martin Kirschner / Libro In brossura
common.buy 38.69 €
Ты хоть представляешь се ЗАЯНИ Сеифеддин ЗАЯНИ / Libro In brossura
common.buy 37.29 €
Frandskapens Lag Och Andra Noveller Och Dikter Johan Nordling / Libro In brossura
common.buy 21.49 €
Libro para colorear el sistema solar de los ninos Anastasiia Saikova / Libro In brossura
common.buy 12.99 €
Außenhandel - Kaufmann/Kauffrau für Groß- und Außenhandelsmanagement. Schülerband. 3. Ausbildungsjahr Marcel Kunze / Libro In brossura
common.buy 43.09 €
Cassette deb exercice 4 penner adrienne Libro Libro
common.buy 15.09 €

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

Attrice & Poliglotta
EWA KASP per
Riproduci video
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 Methods and Testing
Autore Robert M. Hierons, Jonathan P. Bowen, Mark Harman
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 370
EAN 9783540789161
ISBN 3540789162
Codice Libristo 01570095
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 594
Dimensioni 235 x 157 x 27

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software
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 > 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

Adaptive Multimedia Retrieval: Retrieval, User, and Semantics Nozha Boujemaa / Libro In brossura
common.buy 53.79 €
KI 2005: Advances in Artificial Intelligence Ulrich Furbach / Libro In brossura
common.buy 53.79 €
Some Account of Thomas Jefferson Brooks 1805-1882 Thomas J. Brooks / Libro Rigido
common.buy 30.19 €
Follow Paul Grzegorzek / Libro In brossura
common.buy 13.89 €
Understanding German Real Estate Markets TOBIAS JUST / Libro In brossura
common.buy 68.39 €
PET/CT in Thyroid Cancer Sobhan Vinjamuri / Libro In brossura
common.buy 68.39 €
Max the Apartment Cat Mauro Magellan / Libro In brossura
common.buy 19.39 €
Duchess Danielle Steel / Libro In brossura
common.buy 8.29 €
Introduction to Hydrogen Technology 2nd Edition K. S. V. Santhanam / Libro Rigido
common.buy 171.89 €
Can I play?: English edition Gilberto Mariscal / Libro In brossura
common.buy 13.19 €
Meeting Notes: For project and task organization Sections include attendees, notes, and action items Ernest Sullivan / Libro In brossura
common.buy 7.69 €
Kitsch & Beauty: The Proceedings of The Representational Art Conference 2014 Selected Conference Presentors / Libro In brossura
common.buy 46.99 €
Stepping Out of Line: Collected (Nonconformist) Essays on Russian-American Relations, 2008-12 Gilbert Doctorow / Libro In brossura
common.buy 22.29 €
Digital Labor trebor Scholz / Libro In brossura
common.buy 67.99 €
The practical Nature of the theological Writings of Emanuel Swedenborg Augustus Clissold / Libro In brossura
common.buy 32.69 €
100 Ideas for Early Years Practitioners: Forest School Tracey Maciver / Libro In brossura
common.buy 21.09 €
Cosmos, Earth and Mankind Astronomy for Kids Vol I Astronomy & Space Science Baby Professor / Libro In brossura
common.buy 14.49 €
Achieving Sustainable Cultivation of Soybeans Volume 2 Anne Dorrance / Libro Rigido
common.buy 182.89 €
New Perspectives on the History of Life Sciences and Agriculture Sharon Kingsland / Libro In brossura
common.buy 182.19 €
On The Art Of Reading Arthur Quiller-Couch / Libro In brossura
common.buy 21.59 €
Created for Intimacy Joshua Elzner / Libro Rigido
common.buy 76.89 €
In preparazione
Glow Fish Damien Barlow / Libro Rigido
common.buy 12.29 €
The Devious Husband (Standard Edition) MAURA'CATHARINA / Libro In brossura
common.buy 15.29 €
Catalogue of the Valuable Collection of Greek Coins Formed by the Late Frank Sherman Benson of Brooklyn, N.Y. / Libro In brossura
common.buy 19.59 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?