Verwandte Artikel zu Foundations of Software Science and Computation Structures:...

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... Computer Science and General Issues) - Softcover

 
9783662496299: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... Computer Science and General Issues)

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2016
  • ISBN 10 3662496291
  • ISBN 13 9783662496299
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten564
  • HerausgeberJacobs Bart, Löding Christof

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen

EUR 17,81 für den Versand von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

EUR 3,60 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783662496312: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint ... The ... The Netherlands, April 2-8, 2016, Proceedin

Vorgestellte Ausgabe

ISBN 10:  3662496313 ISBN 13:  9783662496312
Verlag: Springer, 2016
Softcover

Suchergebnisse für Foundations of Software Science and Computation Structures:...

Beispielbild für diese ISBN

Verlag: Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020315277

Verkäufer kontaktieren

Neu kaufen

EUR 55,70
Währung umrechnen
Versand: EUR 3,60
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Jacobs, Bart (EDT); Loding, Christof (EDT)
Verlag: Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 25872684-n

Verkäufer kontaktieren

Neu kaufen

EUR 56,94
Währung umrechnen
Versand: EUR 2,38
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783662496299_new

Verkäufer kontaktieren

Neu kaufen

EUR 62,16
Währung umrechnen
Versand: EUR 14,23
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Christof Löding
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads. 564 pp. Englisch. Bestandsnummer des Verkäufers 9783662496299

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Jacobs, Bart (EDT); Loding, Christof (EDT)
Verlag: Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 25872684-n

Verkäufer kontaktieren

Neu kaufen

EUR 62,15
Währung umrechnen
Versand: EUR 17,81
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Christof Löding
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016.The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads. Bestandsnummer des Verkäufers 9783662496299

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 32,21
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 550. Bestandsnummer des Verkäufers 26375220546

Verkäufer kontaktieren

Neu kaufen

EUR 92,03
Währung umrechnen
Versand: EUR 3,60
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Jacobs, Bart|Löding, Christof
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Confere. Bestandsnummer des Verkäufers 117180774

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jacobs, Bart (Editor)/ Loding, Christof (Editor)
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 564 pages. 9.25x6.10x1.28 inches. In Stock. Bestandsnummer des Verkäufers x-3662496291

Verkäufer kontaktieren

Neu kaufen

EUR 86,45
Währung umrechnen
Versand: EUR 11,88
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2016
ISBN 10: 3662496291 ISBN 13: 9783662496299
Neu Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Print on Demand pp. 550. Bestandsnummer des Verkäufers 371906205

Verkäufer kontaktieren

Neu kaufen

EUR 92,78
Währung umrechnen
Versand: EUR 7,72
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Es gibt 4 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen