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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Taal EngelsEngels
E-book Adobe ePub DRM
Uitgeverij Springer, oktober 2023
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Tech... Volledige beschrijving
? points 212 b
87.71 €
Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

TOP
Te magad vagy a hegy Brianna Wiest / Boek Gebonden (harde band)
common.buy 14.56 €
Der Bayerische Alpenrand zwischen Füssen und Berchtesgaden Rolf K. F. Meyer / Boek Gebonden (paperback)
common.buy 22.45 €
Culpa vs perdón Purificacion Lozano Branuelas / Boek Gebonden (paperback)
common.buy 10.61 €
Vosproizvodstvo Pochvennogo Plodorodiya Aleksandr Grebennikov / Boek Gebonden (paperback)
common.buy 79.21 €
Messbuch - Die Feier der hl. Messe - Für die Bistümer des deutschen Sprachgebietes Bischofskonferenzen / Boek Gebonden (harde band)
common.buy 142.75 €
Cent pages blanches Cyril Massarotto / Boek Gebonden (paperback)
common.buy 11.32 €

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in  October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

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 Etienne Andre, Jun Sun
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2023
EAN 9783031453328
Libristo-code 44992045
Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computer hardware
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

Fullerenes: From Synthesis to Optoelectronic Properties D.M. Guldi / Boek Gebonden (paperback)
common.buy 154.39 €
Catalogue of the Library of the State Historical Society of Wisconsin (Volume VI) Isabel Durrie / Boek Gebonden (paperback)
common.buy 37.22 €
List of the vertebrated animals living in the gardens of the Zoological Society of London Philip Lutley Sclater / Boek Gebonden (paperback)
common.buy 15.27 €
The Practice of Autosuggestion by the Method of Emile Coue C Harry Brooks / Boek Gebonden (paperback)
common.buy 25.08 €
HIV/AIDS Awareness: HIV/AIDS Is Not A Death Sentence Beverly Hill / Boek Gebonden (paperback)
common.buy 9.40 €
University Students' Perceptions and Usage Behaviour of Mobile Media Oghogho Uyi Osazee-Odia / Boek Gebonden (paperback)
common.buy 84.47 €
Doctor Who: The Companions Collection Peter Grimwade / Luisterboek MP3
common.buy 13.55 €
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al / Boek Gebonden (harde band)
common.buy 113.61 €
Prison Architecture and Punishment in Colonial Senegal Konate / Boek Gebonden (harde band)
common.buy 151.05 €
Air Crashes and Miracle Landings Part 1 Christopher Bartlett / Boek Gebonden (paperback)
common.buy 13.55 €
Finding Flamenco Stephany Borges / Boek Gebonden (paperback)
common.buy 15.37 €
Artificial Wisdom WEAVER THOMAS R / Boek Gebonden (harde band)
common.buy 23.16 €
Practical Instructions for Using Guano as a Manure: Illustrated by Practical Results (1845) James Clark / Boek Gebonden (paperback)
common.buy 20.33 €
Wild Unknown Notes Kim Krans / Drukwerk Speelkaarten
common.buy 16.99 €
Good Soldier Svejk Jaroslav Hasek / Luisterboek MP3
common.buy 4.44 €
Literature and Painting In Quebec William J. Berg / E-book Adobe ePub DRM
common.buy 47.24 €
The Offset Smoker Cookbook: Pitmaster Techniques and Mouthwatering Recipes for Authentic, Low-And-Slow BBQ Chris Grove / Boek Gebonden (paperback)
common.buy 20.33 €
Memory and the Construction of Histories Reade Collins / Boek Gebonden (paperback)
common.buy 10.61 €
Public Health and Toxicology Issues in Drug Research, Volume 2 Rakesh Kumar Tekade / Boek Gebonden (paperback)
common.buy 180.49 €
Medieval French Interlocutions – Shifting Perspectives on a Language in Contact Thomas O′donnell / Boek Gebonden (harde band)
common.buy 176.55 €
Hatred in Print Luc Racaut / Boek Gebonden (harde band)
common.buy 216.11 €
Atom Optics Pierre Meystre / Boek Gebonden (harde band)
common.buy 102.99 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Boek Gebonden (paperback)
common.buy 39.25 €
Absolute Analysis Frithjof Nevanlinna / Boek Gebonden (paperback)
common.buy 51.69 €

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?