- 5 Results
Lowest price: € 24.90, highest price: € 85.59, average price: € 61.52
1
Order
at lehmanns.de
€ 85.59
Shipment: € 0.001
Order
Provider details
Sponsored link
Lars Birkedal:

Foundations of Software Science and Computational Structures - Paperback

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… More...

Shipping costs:sofort lieferbar. (EUR 0.00)
close (x)
2
Order
at booklooker.de
€ 24.90
Shipment: € 0.001
Order
Provider details
Sponsored link

Birkedal, Lars:

Foundations of Software Science and Computational Structures Lars Birkedal Taschenbuch Lecture Notes in Computer Science Book Englisch 2012 - Paperback

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… More...

Shipping costs:Versandkostenfrei. (EUR 0.00) preigu
close (x)
3
Order
at ZVAB.com
€ 45.78
Shipment: € 0.001
Order
Provider details
Sponsored link
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 - Paperback

2012

ISBN: 364228728X

[EAN: 9783642287282], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], MODEL CHECKING,FIRST-ORDER LOGIC,EVENT STRUCTURES,TEMPORAL LOGIC,DENOTATIONAL SEMANTICS,, Buchschnitt ver… More...

NOT NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
close (x)
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
Order
at booklooker.de
€ 72.10
Shipment: € 0.001
Order
Provider details
Sponsored link
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 - used book

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-… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
close (x)
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
Order
at Blackwells.co.uk
£ 66.50
(aprox. € 79.24)
Shipment: € 7.751
Order
Provider details
Sponsored link
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 - Paperback

2012, ISBN: 9783642287282

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

in stock. Shipping costs:Usually dispatched within 7 days. (EUR 7.75) Blackwells.co.uk
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Foundations of Software Science and Computational Structures
Author:
Title:
ISBN:

9783642287282

Details of the book - Foundations of Software Science and Computational Structures


EAN (ISBN-13): 9783642287282
ISBN (ISBN-10): 364228728X
Hardcover
Paperback
Publishing year: 2012
Publisher: Springer Berlin
484 Pages
Weight: 0,739 kg
Language: Englisch

Book in our database since 2009-07-30T14:35:33+01:00 (London)
Detail page last modified on 2024-04-16T21:10:56+01:00 (London)
ISBN/EAN: 9783642287282

ISBN - alternate spelling:
3-642-28728-X, 978-3-642-28728-2
Alternate spelling and related search-keywords:
Book author: birke, larus
Book title: computation structures, about estonia, tallinn, science 2012, foundations science, foundations the international, international conference software, foundation science, lecture notes computer science

Information from Publisher

Author: Lars Birkedal
Title: 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
Publisher: Springer; Springer Berlin
484 Pages
Publishing year: 2012-03-14
Berlin; Heidelberg; DE
Printed / Made in
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVII, 484 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; denotational semantics; event structures; first-order logic; model checking; temporal logic; 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.
Up-to-date results Fast-track conference proceedings State-of-the-art research
< to archive...