. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783662496299 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 65,18 €, größter Preis: 79,18 €, Mittelwert: 76,38 €
Foundations of Software Science and Computation Structures - Bart Jacobs
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bart Jacobs:
Foundations of Software Science and Computation Structures - Taschenbuch

23, ISBN: 9783662496299

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types recursion and fixed-points verification and program analysis automata, logic, games probabilistic and timed systems proof theory and lambda calculus algorithms for infinite systems and monads., [SC: 0.00], Neuware, gewerbliches Angebot, 236x157x35 mm, [GW: 869g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Foundations of Software Science and Computation Structures - Bart Jacobs
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bart Jacobs:
Foundations of Software Science and Computation Structures - Taschenbuch

2016, ISBN: 3662496291

ID: 18870847228

[EAN: 9783662496299], Neubuch, [PU: Springer-Verlag Gmbh Mrz 2016], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; COMPUTERS PROGRAMMING GENERAL, Neuware - This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads. 550 pp. Englisch

Neues Buch Abebooks.de
Rheinberg-Buch, Bergisch Gladbach, Germany [53870650] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Foundations of Software Science and Computation Structures - Bart Jacobs; Christof Löding
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bart Jacobs; Christof Löding:
Foundations of Software Science and Computation Structures - neues Buch

ISBN: 9783662496299

ID: 9783662496299

Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering; Computation by Abstract Devices formal languages, modal logics, semantics, timed models, type theory, automata theory, coalgebra, hybrid models, implicit complexity, lambda calculus, logic programming, model checking, parameterized distributed systems, petri nets, polymorphism, proof theory, recursion, rewrite systems, temporal logics, transducers Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Jacobs, Bart (Herausgeber); Löding, Christof (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jacobs, Bart (Herausgeber); Löding, Christof (Herausgeber):
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - neues Buch

2016, ISBN: 3662496291

ID: A26374252

Kartoniert / Broschiert EDV / Theorie / Programmieren / Allgemeines, COMPUTERS / Programming / General, met couverture neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Geen versendingskosten in Duitsland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Foundations of Software Science and Computation Structures - Jacobs, Bart (EDT)/ Loding, Christof (EDT)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jacobs, Bart (EDT)/ Loding, Christof (EDT):
Foundations of Software Science and Computation Structures - Taschenbuch

ISBN: 9783662496299

ID: 9783662496299

paperback

Neues Buch Blackwell.co.uk
Blackwells.co.uk
in stock Versandkosten:Usually dispatched within 72 hours (EUR 2.81)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Foundations of Software Science and Computation Structures
Autor:

Springer, Berlin; Springer Berlin Heidelberg

Titel:

Foundations of Software Science and Computation Structures

ISBN-Nummer:

This book constitutes the proceedings of the 19th International Conference, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.

Detailangaben zum Buch - Foundations of Software Science and Computation Structures


EAN (ISBN-13): 9783662496299
ISBN (ISBN-10): 3662496291
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2016
Herausgeber: Springer-Verlag Gmbh

Buch in der Datenbank seit 23.04.2016 07:08:51
Buch zuletzt gefunden am 04.04.2017 13:45:57
ISBN/EAN: 9783662496299

ISBN - alternative Schreibweisen:
3-662-49629-1, 978-3-662-49629-9


< zum Archiv...
Benachbarte Bücher