Verwandte Artikel zu Foundations of Software Science and Computational Structures...
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... 4423 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 58,03
EUR 13,74 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Foundations of Software Science and Computational Structures...
Beispielbild für diese ISBN
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4423)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540713883_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European . Notes in Computer Science, 4423, Band 4423)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Gut. 400 Seiten; 9783540713883.3 Gewicht in Gramm: 1. Artikel-Nr. 880172
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Foundations of Software Science and Computational Structures
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
ISBN 10: 3540713883
ISBN 13: 9783540713883
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Deals with topics that include algebraic models, automata and language theory, behavioral equivalences, categorical models, and computation processes over discrete and continuous data. This book also covers infinite state systems computation structures, and logics of programs, modal, spatial, and temporal logics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 395 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 559. . 2007. Paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9783540713883
Anzahl: 15 verfügbar
Foto des Verkäufers
Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540713883
ISBN 13: 9783540713883
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. Artikel-Nr. 9783540713883
Anzahl: 2 verfügbar