Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Automated Technology for Verification and Analysis

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

Sprache EnglischEnglisch
E-Book Adobe ePub DRM
Verlag Springer, Oktober 2023
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Tech... Vollständige Beschreibung
? points 212 b
87.58 €
Verfügbar Sofort herunterladbar

Kunden kauften auch

Top
Te magad vagy a hegy Brianna Wiest / Buch Hardcover
common.buy 14.52 €
La Biblia para los Principiantes de Reiki: Cómo aumentar tu energía, restaurar tu salud y sentirte increíble cada día Tai Morello / Buch Broschur
common.buy 13.71 €
Der Bayerische Alpenrand zwischen Füssen und Berchtesgaden Rolf K. F. Meyer / Buch Broschur
common.buy 22.39 €
Culpa vs perdón Purificacion Lozano Branuelas / Buch Broschur
common.buy 11.09 €
Vosproizvodstvo Pochvennogo Plodorodiya Aleksandr Grebennikov / Buch Broschur
common.buy 79.00 €
Messbuch - Die Feier der hl. Messe - Für die Bistümer des deutschen Sprachgebietes Bischofskonferenzen / Buch Hardcover
common.buy 142.37 €
Cent pages blanches Cyril Massarotto / Buch Broschur
common.buy 11.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Technology for Verification and Analysis
Autor Etienne Andre, Jun Sun
Sprache Englisch
Einband E-Book - Adobe ePub DRM
Datum der Veröffentlichung 2023
EAN 9783031453328
Libristo-Code 44992045
Verlag Springer

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computerhardware
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Fullerenes: From Synthesis to Optoelectronic Properties D.M. Guldi / Buch Broschur
common.buy 153.97 €
Finding Flamenco Stephany Borges / Buch Broschur
common.buy 16.03 €
List of the vertebrated animals living in the gardens of the Zoological Society of London Philip Lutley Sclater / Buch Broschur
common.buy 15.23 €
The Practice of Autosuggestion by the Method of Emile Coue C Harry Brooks / Buch Broschur
common.buy 26.12 €
HIV/AIDS Awareness: HIV/AIDS Is Not A Death Sentence Beverly Hill / Buch Broschur
common.buy 9.88 €
University Students' Perceptions and Usage Behaviour of Mobile Media Oghogho Uyi Osazee-Odia / Buch Broschur
common.buy 84.25 €
Doctor Who: The Companions Collection Peter Grimwade / Hörbuch MP3
common.buy 13.51 €
Medieval French Interlocutions – Shifting Perspectives on a Language in Contact Thomas O′donnell / Buch Hardcover
common.buy 183.74 €
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy Klaus Mainzer Et Al / Buch Hardcover
common.buy 118.35 €
Prison Architecture and Punishment in Colonial Senegal Konate / Buch Hardcover
common.buy 157.81 €
Air Crashes and Miracle Landings Part 1 Christopher Bartlett / Buch Broschur
common.buy 14.42 €
Artificial Wisdom WEAVER THOMAS R / Buch Hardcover
common.buy 24.51 €
Catalogue of the Library of the State Historical Society of Wisconsin (Volume VI) Isabel Durrie / Buch Broschur
common.buy 39.24 €
Practical Instructions for Using Guano as a Manure: Illustrated by Practical Results (1845) James Clark / Buch Broschur
common.buy 21.18 €
Wild Unknown Notes Kim Krans / Drucksachen Karten
common.buy 18.66 €
Good Soldier Svejk Jaroslav Hasek / Hörbuch MP3
common.buy 4.43 €
Literature and Painting In Quebec William J. Berg / E-Book Adobe ePub DRM
common.buy 47.11 €
The Offset Smoker Cookbook: Pitmaster Techniques and Mouthwatering Recipes for Authentic, Low-And-Slow BBQ Chris Grove / Buch Broschur
common.buy 21.18 €
Memory and the Construction of Histories Reade Collins / Buch Broschur
common.buy 11.09 €
Public Health and Toxicology Issues in Drug Research, Volume 2 Rakesh Kumar Tekade / Buch Broschur
common.buy 179.10 €
Hatred in Print Luc Racaut / Buch Hardcover
common.buy 239.14 €
Atom Optics Pierre Meystre / Buch Hardcover
common.buy 102.71 €
Real estate management and rental conditions in Congo Ulrich Salem GUEBO / Buch Broschur
common.buy 39.14 €
Absolute Analysis Frithjof Nevanlinna / Buch Broschur
common.buy 51.55 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?