Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer Nature Switzerland AG
SKU: 38806453
Price: 40.89 EUR
Availability: InStock
Author: Dana Fisman
ISBN: 9783030995263

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

Dana Fisman

Grigore Rosu

Sprache

Englisch

Buch Broschur

Libristo-Code: 38806453

Verlag Springer Nature Switzerland AG, März 2022

This open access book constitutes the proceedings of the 28th International Conference on Tools and... Vollständige Beschreibung

Libristo-Code: 38806453

100 b

40.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Grandes autores de Batman: Peter Milligan - Caballero oscuro, Ciudad oscura MILLIGAN

Broschur

26.09 €

Las experiencias terapéuticas en el proceso psicoanalítico Coderch de Sans

Broschur

24.89 €

Cocorina y el Puchero Magico = Clucky and the Magic Kettle Mar Pavon

Hardcover

14.69 €

Murtres en cadena DORDEINS

Broschur

18.59 €

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Tools and Algorithms for the Construction and Analysis of Systems

Autor Dana Fisman, Grigore Rosu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2022

Anzahl der Seiten 493

EAN 9783030995263

Libristo-Code 38806453

Verlag Springer Nature Switzerland AG

Gewicht 783

Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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