Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

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 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

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: 28240685
Price: 41.1 EUR
Availability: InStock
Author: Armin Biere
ISBN: 9783030451899

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Armin Biere

David Parker

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 28240685

Uitgeverij Springer Nature Switzerland AG, april 2020

This open access two-volume set constitutes the proceedings of the 26th International Conference on... Volledige beschrijving

Libristo-code: 28240685

100 b

41.10 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Les raisons de mon crime Nathalie Kuperman

Gebonden (paperback)

10.74 €

Tinto Sprachlesebuch 2-4 - Ausgabe 2013 - 3. Schuljahr Christiane Bruns

Gebonden (harde band)

25.12 €

Pan Lodowego Ogrodu. Księga 1 Jarosław Grzędowicz

Gebonden (paperback)

15.37 €

Les Trois Mousquetaires Dumas

Gebonden (paperback)

19.19 €

Test Administrativos de la Xunta de Galicia CASTILLO TORRES

Gebonden (harde band)

24.62 €

Collection F

Gebonden (paperback)

26.73 €

Veštice a mágovia na Slovensku Olianna Svetová

Gebonden (paperback)

8.84 €

Memoire Pour Servir A l'Histoire de France [V 6] (Ed.1814-1826) Jacques-Barthelemy Salgues

Gebonden (paperback)

29.24 €

Chłopi Reymont Władysław Stanisław

Gebonden (harde band)

9.24 €

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Tools and Algorithms for the Construction and Analysis of Systems

Auteur Armin Biere, David Parker

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2020

Aantal pagina's 501

EAN 9783030451899

Libristo-code 28240685

Uitgeverij Springer Nature Switzerland AG

Gewicht 801

Afmetingen 155 x 235 x 29

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling

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

Global Climate Change and Cold Regions Ecosystems John M. Kimble

Gebonden (paperback)

103.62 €

Alternative Photography: Art and Artists, Edition I: 115 artists working with anthotype, carbon, cyanotype, collodion, bromoil, gum bichromate, Malin Fabbri

Gebonden (paperback)

54.07 €