Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Dirk Beyer

Marieke Huisman

Lingua

Inglese

Libro In brossura

Codice Libristo: 19191283

Casa editrice Springer International Publishing AG, aprile 2018

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitute... Descrizione completa

Codice Libristo: 19191283

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Syst?me automatique de comparaison des informations contenues dans les textes Anderson Rodrigues

In brossura

37.29 €

Cafecito y el patito MISTER EGG

In brossura

15.59 €

Kirchenasyl und staatliches Recht. Christoph Görisch

In brossura

98.19 €

A végzet fegyvere Steven Saylor

Rigido

12.59 €

Una Morte in Toscana Dick Rosano

Adobe ePub DRM

3.29 €

Bibliothek antiker jüdischer und christlicher Literatur Jürgen Wehnert

Rigido

293.19 €

Lehren aus dem COVID-19-Kampfeinsatz gegen den Klimawandel Aneta Stojanovska-Stefanova

In brossura

40.99 €

Zagadnij mnie. Księga 2 . Wersja ukraińska/ Розгадай мене (книга 2) Tahereh Mafi

Rigido

14.59 €

Odka?aj?ce dzia?anie kwasu nadoctowego na kawa?ki wo?owiny Juliana Vitória Messias Bittencourt

In brossura

33.59 €

Fall Beltracchi und die Folgen Henry Keazor

Rigido

54.19 €

Arsene Lupin Maurice Leblanc

In brossura

9.69 €

Geschichte und Bild von Nero... Adam Hendrik Raabe

Rigido

42.91 €

ADRIANO CELENTANO: LE PIU BELLE CANZONI CELENTANO Libro

binding.

27.79 €

Bosquejo Biografico De Don Beltran De La Cueva (1881) Antonio Rodriguez Villa

In brossura

30.19 €

L'Idee De Droit Et Son Evolution Historique (1906) Charles Boucaud

In brossura

20.59 €

APLI oči oválné s řasami 16 x 12 mm samolepicí - mix barev 40 ks

Articoli di cancelleria

3.39 €

Le Theatre de Boulogne-Sur-Mer Alexandre Boudin

In brossura

13.89 €

Handbuch fur UEberholungsarbeiten an Motor-, Segel- und Ruderbooten E. Küst

In brossura

27.99 €

Fotograf Adolf Rossi Lukáš Bártl

In brossura

11.79 €

111 Orte im Kanton Schwyz, die man gesehen haben muss Silvia Götschi

In brossura

16.39 €

Itineraire de Paris A Jerusalem Et de Jerusalem A Paris. Tome 1 DE CHATEAUBRIAND-F-R

In brossura

28.69 €

Les Oiseaux Et Les Insectes, Causeries d'Un Instituteur Avec Ses Eleves Henrion

In brossura

21.69 €

No Deberías Amar.: ?Hasta Dónde Llegarán Las Promesas?. Maycol Lopez

In brossura

10.49 €

Maestro de Marionetas: El tiene cuerdas en cada aspecto de tu vida y hace que todo obre para bien J A Perez

In brossura

16.79 €

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7 th Competition on Software Verification - SV-COMP.