Foundations of Software Science and Computation Structures

Cover des Buches Foundations of Software Science and Computation Structures (ISBN: 9783662466773)
Bestellen bei:

Zu diesem Buch gibt es noch keine Kurzmeinung. Hilf anderen Lesern, indem du das Buch bewertest und eine Kurzmeinung oder Rezension veröffentlichst.

Auf der Suche nach deinem neuen Lieblingsbuch? Melde dich bei LovelyBooks an, entdecke neuen Lesestoff und aufregende Buchaktionen.

Inhaltsangabe zu "Foundations of Software Science and Computation Structures"

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

Buchdetails

Aktuelle Ausgabe
ISBN:9783662466773
Sprache:Englisch
Ausgabe:Flexibler Einband
Umfang:465 Seiten
Verlag:Springer-Verlag GmbH
Erscheinungsdatum:14.04.2015

Rezensionen und Bewertungen

Neu
0 Sterne
Filtern:
  • 5 Sterne0
  • 4 Sterne0
  • 3 Sterne0
  • 2 Sterne0
  • 1 Stern0
  • Sortieren:

    Ähnliche Bücher für noch mehr Lesestunden

    Gespräche aus der Community zum Buch

    Neu

    Starte mit "Neu" die erste Leserunde, Buchverlosung oder das erste Thema.

    Stöbern in Sonstiges

    Was ist LovelyBooks?

    Über Bücher redet man gerne, empfiehlt sie seinen Freunden und Bekannten oder kritisiert sie, wenn sie einem nicht gefallen haben. LovelyBooks ist der Ort im Internet, an dem all das möglich ist - die Heimat für Buchliebhaber und Lesebegeisterte. Schön, dass du hier bist!

    Mehr Infos

    Buchliebe für dein Mailpostfach

    Hol dir mehr von LovelyBooks