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.

Automated Technology for Verification and Analysis

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Technology for Verification and Analysis Dang Van Hung
Libristo-code: 02081875
Uitgeverij Springer International Publishing AG, augustus 2013
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Tech... Volledige beschrijving
? points 125 b
51.55 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wer aufgibt, wird nie Sieger! Martin K. W. Schweer / Boek Gebonden (paperback)
common.buy 23.50 €
Szellő, a szitakötő Bartos Erika / Boek Leporello (harmonicaboek)
common.buy 4.53 €
Liturgia del disprezzo Antoine Volodine / Boek Gebonden (paperback)
common.buy 19.77 €
Mindbug / Boek binding.
common.buy 15.13 €
El Defensor del Pueblo en el sector bancario - Una revisión Sanjay Kaptan / Boek Gebonden (paperback)
common.buy 24.11 €
mi amigo el Psicopata Ardaist Sergio Ardaist / Boek Gebonden (paperback)
common.buy 19.67 €
Vidrios y vidrieras. Artes decorativas españolas Pérez Bueno / Boek Gebonden (paperback)
common.buy 27.03 €
Dans l'enfer de Montretout Beaumont / Boek Gebonden (paperback)
common.buy 24.01 €
Handbuch Europarecht Walter Frenz / Boek Gebonden (harde band)
common.buy 243.07 €
Wissen des Rechts Alexander Somek / Boek Gebonden (paperback)
common.buy 28.65 €
Description Historique Et Statistique de La Ville de Reims, Etc Jean Baptiste Franc Ge Ruzez / Boek Gebonden (paperback)
common.buy 26.53 €
Stabat Mater - Symfonický orchestr hl.m. Prahy (FOK)/Jiří Bělohlávek, sólisté - CD Antonín Dvořák / Audio Audio cd
common.buy 19.77 €
Cartas a Martín Zapater Francisco de Goya / Boek Gebonden (paperback)
common.buy 20.47 €
Las mejores recetas de Bagels genuinos de Nueva York Burton / Boek Gebonden (paperback)
common.buy 7.86 €
Márgenes de la Modernidad : libertinismo y filosofía en el siglo XVII Pedro Lomba / Boek Gebonden (paperback)
common.buy 27.94 €
SAP FI Ridvan Akgül / Boek Gebonden (paperback)
common.buy 21.08 €
Autopsie, 2 Bde. Manfred Heiting / Boek Gebonden (harde band)
common.buy 169.92 €
Behinderung verhindern Britta-Marie Schenk / Boek Gebonden (paperback)
common.buy 63.86 €

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. §The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. §The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.

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 Automated Technology for Verification and Analysis
Auteur Dang Van Hung, Mizuhito Ogawa
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 528
EAN 9783319024431
ISBN 3319024434
Libristo-code 02081875
Uitgeverij Springer International Publishing AG
Gewicht 825
Afmetingen 155 x 235 x 29

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
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 Tales: (A Hippo Graded Reader) Cooper Baltis / Boek Gebonden (paperback)
common.buy 8.57 €
Ghost Stories of Louisiana Dan Asfar / Boek Gebonden (paperback)
common.buy 10.59 €
Egypt's Revolutions Stéphane Lacroix / Boek Gebonden (paperback)
common.buy 53.17 €
Forest Landscape Restoration Handbook Jennifer Rietbergen-McCracken / Boek Gebonden (paperback)
common.buy 61.54 €
Quest for the Historical Satan Miguel A. De La Torre / Boek Gebonden (paperback)
common.buy 32.99 €
Contemporary Theatre, Film and Television / Boek Gebonden (harde band)
common.buy 571.83 €
Applications of Matrix Converters for Wind Turbine Systems S. Masoud Barakati / Boek Gebonden (paperback)
common.buy 81.93 €
AU-18 Space Primer Air University Press / Boek Gebonden (paperback)
common.buy 32.58 €
Getting Zambia to Work (PB) Chisanga Puta-Chekwe / Boek Gebonden (paperback)
common.buy 27.84 €
Healing Mandala Pocket Coloring Book Lisa Tenzin-Dolma / Boek Gebonden (paperback)
common.buy 9.07 €
Irish Poetry of the 1930s Alan Gillis / Boek Gebonden (harde band)
common.buy 194.44 €
In Old South Hadley (Classic Reprint) Sophie E. Eastman / Boek Gebonden (paperback)
common.buy 20.17 €
Civility Unleashed: Using Civility to Survive and Thrive in the Workplace Diana Damron / Boek Gebonden (paperback)
common.buy 16.64 €
Life and Times of Selina, Countess of Huntingdon; Volume 2 A C H Seymour / Boek Gebonden (harde band)
common.buy 45.70 €
Funnies, The Paul A. Mendelson / Boek Gebonden (paperback)
common.buy 10.38 €
I USED TO BE FAMOUS Tara Luebbe / Boek Gebonden (paperback)
common.buy 8.87 €
Psychology of Consciousness Robert Ornstein / Boek Gebonden (paperback)
common.buy 19.36 €
100 Questions & Answers About Chronic Obstructive Pulmonary Disease (COPD) Campion Quinn / Boek Gebonden (paperback)
common.buy 28.65 €
Studies in the National Balance Sheet of the United States, Volume 1 Raymond William Goldsmith / Boek Gebonden (harde band)
common.buy 228.65 €
How to Look After Your Pet Dog David Alderton / Boek Gebonden (harde band)
common.buy 5.94 €
Annual Editions: Management Fred H. Maidment / Boek Gebonden (paperback)
common.buy 51.25 €
Columns of Vengeance Paul N Beck / Boek Gebonden (harde band)
common.buy 29.76 €
Roman Amphitheatre Katherine E. Welch / Boek Gebonden (paperback)
common.buy 69.72 €
Approaches to Traditional Chinese Medical Literature Paul U. Unschuld / Boek Gebonden (paperback)
common.buy 153.97 €

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?