Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Approaches to Software Testing and Runtime Verification Klaus Havelund
Libristo-code: 01565081
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2006
This book constitutes the thoroughly refereed post-proceedings of the First Combined International W... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

ber Eine Ballonsonde F r Polarlichtmessungen Und ber Den Vergleich Von Polarlichtemissionen, R ntgenstrahlen Und Ionosph rischen Absorptionen K. Richter / Boek Gebonden (paperback)
common.buy 53.10 €
Punkty przecięcia Paulina Cedlerska / Boek Gebonden (paperback)
common.buy 8.99 €
Tiotusen meter - erotisk novell Hermansson / Luisterboek MP3
common.buy 3.13 €
La Orden de Santiago en Guadalajara : la encomienda de Mohernando y el condado de Humanes Miguel Marchamalo Main / Boek Gebonden (paperback)
common.buy 24.87 €
futuro raccontato dalle piante. Cosa possiamo imparare dal regno vegetale e dal suo percorso sul pianeta Barbara Mazzolai / Boek Gebonden (harde band)
common.buy 20.52 €
LENGUA CASTELLANA Y LITERATURA, 1 ESO. CUADERNO DE LEXICO EQUIP EDITORIAL CRUILLA / Boek Boek
common.buy 7.78 €
INTERROS DES LYCEES MATHS 2DE Erik de Brauwere / Boek Gebonden (paperback)
common.buy 18.20 €
Soudruhu, nezlob se! - Společenská hra Ivan Mládek / Spel/speelgoed Spel
common.buy 15.06 €
Tea Party Lorenzo F. Díaz / Boek Gebonden (paperback)
common.buy 19.51 €
StaatsRache - Justizkritische Beitrage gegen die Dummheit im deutschen Recht(ssystem) Richard Albrecht / Boek Gebonden (paperback)
common.buy 26.90 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Approaches to Software Testing and Runtime Verification
Auteur Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 255
EAN 9783540496991
ISBN 3540496998
Libristo-code 01565081
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 421
Afmetingen 155 x 235 x 15

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Animal Game Daniel E. Bender / Boek Gebonden (harde band)
common.buy 51.38 €
Deep Down (A Jack Reacher short story) Lee Child / Luisterboek MP3
common.buy 7.88 €
The Stepdaughter Gary Indiana / Boek Gebonden (paperback)
common.buy 14.25 €
Gender in Ottoman Constantinople David Selim Sayers / Boek Gebonden (harde band)
common.buy 35.50 €
Teaching Late Twentieth-Century Mexicana and Chicana Writers Elizabeth Coonr Martínez / Boek Gebonden (paperback)
common.buy 47.33 €
Routledge Handbook of Modern Korean History Michael Seth / Boek Gebonden (paperback)
common.buy 69.99 €
Documents Relating to the Colonial History of the State of New Jersey, [1631-1776] Volume 19 William Nelson / Boek Gebonden (paperback)
common.buy 33.57 €
Everett Railroad: History Through the Miles Barton Jennings / Boek Gebonden (paperback)
common.buy 10.61 €
Oxford Mathematics for the Caribbean 6th edition: 11-14: Workbook 2 Nicholas Goldberg / Boek Gebonden (paperback)
common.buy 13.65 €
History and Heritage of St James's Hospital, Dublin Mary Coakley / Boek Gebonden (harde band)
common.buy 71.51 €
The Whale Whisperers: : The Shaman's Curse Dale Palko M D / Boek Gebonden (paperback)
common.buy 7.68 €
White Fang Jack London / Boek Gebonden (paperback)
common.buy 17.49 €
TOP
Game Production Handbook Chandler / Boek Gebonden (paperback)
common.buy 130.48 €
Bloody Tears Danielle Houghton / Boek Gebonden (paperback)
common.buy 13.75 €
Persuasion Jane Austen / Boek Gebonden (paperback)
common.buy 13.75 €
Feminism and the Power of Law Carol Smart / Boek Gebonden (paperback)
common.buy 87.69 €
Nieuw
The United States Marines Ltcol Charles Patrick Neimeyer / Boek Gebonden (harde band)
common.buy 56.23 €
Battle for the White House from Bush to Obama AnthonyJ Bennett / Boek Gebonden (harde band)
common.buy 61.09 €
Knowledge and Practice in English Medicine, 1550-1680 Andrew Wear / Boek Gebonden (harde band)
common.buy 141.31 €
Impact of Emerging Technologies on Computer Science and Operations Research Stephen G. Nash / Boek Gebonden (paperback)
common.buy 236.50 €
Ten Days That Shook the World John Reed / Boek Gebonden (paperback)
common.buy 12.63 €
The Rage Gene Kerrigan / Boek Gebonden (paperback)
common.buy 13.54 €
ŠVÉDSKO SCHWEDEN SÜDWEST 1:250 000 / Boek Boek
common.buy 11.02 €
Postcolonial Cultures Simon Featherstone / Boek Gebonden (paperback)
common.buy 38.03 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?