- 5 Risultati
prezzo più basso: € 42,78, prezzo più alto: € 74,25, prezzo medio: € 51,22
1
Ordina
da Biblio.co.uk
$ 79,95
(indicativi € 74,25)
Spedizione: € 11,861
OrdinaLink sponsorizzato
Flanagan, Cormac (Editor)/ Konig, Barbara (Editor):

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Est - edizione con copertina flessibile

2012, ISBN: 9783642287558

Springer Nature, 2020. Paperback. New. 660 pages. 9.25x6.10x1.49 inches., Springer Nature, 2020, 6, Temple Lodge Publishing, 2004-10-01. Paperback. New. New. In shrink wrap. Looks lik… Altro …

GBR, U.. - Costi di spedizione: EUR 11.86 Revaluation Books, GridFreed LLC, Revaluation Books
2
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Flanagan, Cormac und Barbara König
Ordina
da booklooker.de
€ 42,78
Spedizione: € 0,001
OrdinaLink sponsorizzato

Flanagan, Cormac und Barbara König:

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - libri usati

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
3
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Flanagan, Cormac und Barbara König
Ordina
da booklooker.de
€ 42,78
Spedizione: € 0,001
OrdinaLink sponsorizzato
Flanagan, Cormac und Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - libri usati

2012

ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
4
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Flanagan, Cormac und Barbara König
Ordina
da booklooker.de
€ 42,78
Spedizione: € 0,001
OrdinaLink sponsorizzato
Flanagan, Cormac und Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - libri usati

2012, ISBN: 9783642287558

[PU: Springer Berlin], Buchschnitt verkürzt - gepflegter, sauberer Zustand - Ausgabejahr 2012 12098885/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2012, Banküberweisung… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Tools and Algorithms for the Construction and Analysis of Systems - Cormac Flanagan; Barbara König
Ordina
da lehmanns.de
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
Cormac Flanagan; Barbara König:
Tools and Algorithms for the Construction and Analysis of Systems - Prima edizione

2012, ISBN: 9783642287558

edizione con copertina flessibile

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proc… Altro …

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Tools and Algorithms for the Construction and Analysis of Systems

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

Informazioni dettagliate del libro - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783642287558
ISBN (ISBN-10): 3642287557
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2012
Editore: Springer Berlin
560 Pagine
Peso: 0,833 kg
Lingua: Englisch

Libro nella banca dati dal 2008-11-03T21:37:29+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-20T00:23:17+01:00 (Zurich)
ISBN/EAN: 3642287557

ISBN - Stili di scrittura alternativi:
3-642-28755-7, 978-3-642-28755-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : könig barbara, flanagan, corma, cormac
Titolo del libro: the tools, analysis systems, tallinn, algorithms, international conference software, estonia, flanagan, system, the science book, lecture notes computer science, theory construction, proceedings construction


Dati dell'editore

Autore: Cormac Flanagan; Barbara König
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
Editore: Springer; Springer Berlin
560 Pagine
Anno di pubblicazione: 2012-03-14
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 0,884 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIX, 560 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; communication networks; software analysis; software engineering; theoretical computer science; Logics and Meanings of Programs; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Artificial Intelligence; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Compilers and Interpreters; Artificial Intelligence; Programming Techniques; Theoretische Informatik; Netzwerk-Hardware; Compiler und Übersetzer; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; EA

The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

< Per archiviare...