- 5 Risultati
prezzo più basso: € 24,90, prezzo più alto: € 85,59, prezzo medio: € 57,55
1
Ordina
da lehmanns.de
€ 85,59
Spedizione: € 0,001
OrdinaLink sponsorizzato
Lars Birkedal:

Foundations of Software Science and Computational Structures - edizione con copertina flessibile

2012, ISBN: 9783642287282

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

Costi di spedizione:sofort lieferbar. (EUR 0.00)
2
Ordina
da booklooker.de
€ 24,90
Spedizione: € 0,001
OrdinaLink sponsorizzato

Birkedal, Lars:

Foundations of Software Science and Computational Structures Lars Birkedal Taschenbuch Lecture Notes in Computer Science Book Englisch 2012 - edizione con copertina flessibile

2012, ISBN: 9783642287282

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSA… Altro …

Costi di spedizione:Versandkostenfrei. (EUR 0.00) preigu
3
Ordina
da booklooker.de
€ 25,90
Spedizione: € 0,001
OrdinaLink sponsorizzato
Birkedal, Lars:
Foundations of Software Science and Computational Structures Lars Birkedal Taschenbuch Lecture Notes in Computer Science Book Englisch 2012 - edizione con copertina flessibile

2012

ISBN: 9783642287282

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSA… Altro …

Costi di spedizione:Versandkostenfrei. (EUR 0.00) Buchbär
4
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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 - Birkedal, Lars
Ordina
da booklooker.de
€ 72,10
Spedizione: € 0,001
OrdinaLink sponsorizzato
Birkedal, Lars:
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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: 9783642287282

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

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
5
Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 --             April 1, 2 - Birkedal, Lars
Ordina
da Blackwells.co.uk
£ 66,50
(indicativi € 79,24)
Spedizione: € 7,751
OrdinaLink sponsorizzato
Birkedal, Lars:
Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2 - edizione con copertina flessibile

2012, ISBN: 9783642287282

paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]

in stock. Costi di spedizione:Usually dispatched within 7 days. (EUR 7.75) Blackwells.co.uk

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

Informazioni dettagliate del libro - Foundations of Software Science and Computational Structures


EAN (ISBN-13): 9783642287282
ISBN (ISBN-10): 364228728X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2012
Editore: Springer Berlin
484 Pagine
Peso: 0,739 kg
Lingua: Englisch

Libro nella banca dati dal 2009-07-30T15:35:33+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-02-25T19:25:59+01:00 (Zurich)
ISBN/EAN: 9783642287282

ISBN - Stili di scrittura alternativi:
3-642-28728-X, 978-3-642-28728-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : birke, larus
Titolo del libro: computation structures, about estonia, tallinn, science 2012, foundations science, foundations the international, international conference software, foundation science, lecture notes computer science


Dati dell'editore

Autore: Lars Birkedal
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 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
484 Pagine
Anno di pubblicazione: 2012-03-14
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 0,755 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVII, 484 p.

BC; Mathematical Logic and Formal Languages; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; denotational semantics; event structures; first-order logic; model checking; temporal logic; Computation by Abstract Devices; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Artificial Intelligence; Formal Languages and Automata Theory; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Software Engineering; Artificial Intelligence; Compiler und Übersetzer; Software Engineering; Künstliche Intelligenz; EA

The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

< Per archiviare...