Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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: 39.05 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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 28240685

Založba Springer Nature Switzerland AG, april 2020

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

Koda Libristo: 28240685

95 b

39.05 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Mehka

27.95 €

Collection F

Mehka

24.82 €

Les Trois Mousquetaires Dumas

Mehka

18.16 €

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

Mehka

13.82 €

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

Trda

8.06 €

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

Trda

24.01 €

Les raisons de mon crime Nathalie Kuperman

Mehka

10.18 €

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.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Tools and Algorithms for the Construction and Analysis of Systems

Avtor Armin Biere, David Parker

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2020

Število strani 501

EAN 9783030451899

Koda Libristo 28240685

Založba Springer Nature Switzerland AG

Teža 801

Mere 155 x 235 x 29

Kategorije

Computing & Information Technology > Computer programming / software engineering

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Janice VanCleave's Physics for Every Kid Janice VanCleave

Mehka

12.81 €

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

Mehka

51.56 €