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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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 221 b
90.39 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Kunden kauften auch

Culpa vs perdón Purificacion Lozano Branuelas / Buch Broschur
common.buy 10.99 €
Der Bayerische Alpenrand zwischen Füssen und Berchtesgaden Rolf K. F. Meyer / Buch Broschur
common.buy 25.00 €
Messbuch - Die Feier der hl. Messe - Für die Bistümer des deutschen Sprachgebietes Bischofskonferenzen / Buch Hardcover
common.buy 161.69 €

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

As the Bamboo Shoots CELIN TAN ROBERTSON / Buch Broschur
common.buy 23.99 €
Artificial Wisdom WEAVER THOMAS R / Buch Hardcover
common.buy 24.29 €
Public Health and Toxicology Issues in Drug Research, Volume 2 Rakesh Kumar Tekade / Buch Broschur
common.buy 194.19 €
Memory and the Construction of Histories Reade Collins / Buch Broschur
common.buy 10.99 €
Wild Unknown Notes Kim Krans / Drucksachen Karten
common.buy 19.19 €
Catalogue of the Library of the State Historical Society of Wisconsin (Volume VI) Isabel Durrie / Buch Broschur
common.buy 38.89 €
Finding Flamenco Stephany Borges / Buch Broschur
common.buy 15.89 €
HIV/AIDS Awareness: HIV/AIDS Is Not A Death Sentence Beverly Hill / Buch Broschur
common.buy 9.79 €
List of the vertebrated animals living in the gardens of the Zoological Society of London Philip Lutley Sclater / Buch Broschur
common.buy 15.99 €
Atom Optics Pierre Meystre / Buch Hardcover
common.buy 107.29 €
Korea George Brennan / Buch Broschur
common.buy 13.29 €
Nonlinear Adaptive Robust Control of Electro-hydraulic Systems Fanping Bu / Buch Broschur
common.buy 83.09 €
Fundamentals of Municipal Bonds The Bond Market Association / Buch Hardcover
common.buy 58.99 €
European Economists of the Early 20th Century, Volume 1 Warren J. Samuels / Buch Hardcover
common.buy 267.89 €
Geometric Abstraction Yve-Alain Bois / Buch Hardcover
common.buy 42.69 €
How Power Corrupts Ricardo Blaug / Buch Hardcover
common.buy 60.39 €
Dragons, Serpents, and Slayers in the Classical and Early Christian Worlds Daniel Ogden / Buch Hardcover
common.buy 174.39 €
Absolute Analysis Frithjof Nevanlinna / Buch Broschur
common.buy 53.79 €

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