Articles liés à Foundations of Software Science and Computational Structures
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 53,03
EUR 3,42 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Foundations of Software Science and Computational Structures
Image d'archives
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)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020175477
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
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
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5184565-n
Quantité disponible : 15 disponible(s)
Image d'archives
Foundations of Software Science and Computational Structures (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2007
ISBN 10 : 3540713883
ISBN 13 : 9783540713883
Neuf
Paperback
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783540713883
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
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
Edité par
Springer, 2007
ISBN 10 : 3540713883
ISBN 13 : 9783540713883
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5184565
Quantité disponible : 15 disponible(s)
Image d'archives
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)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540713883
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540713883_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Confere
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540713883
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computational Structures
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10 : 3540713883
ISBN 13 : 9783540713883
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 379 pp. Englisch. N° de réf. du vendeur 9783540713883
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
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)
Edité par
Springer, 2009
ISBN 10 : 3540713883
ISBN 13 : 9783540713883
Ancien ou d'occasion
paperback
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Gut. 400 Seiten; 9783540713883.3 Gewicht in Gramm: 1. N° de réf. du vendeur 880172
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations of Software Science and Computational Structures
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
ISBN 10 : 3540713883
ISBN 13 : 9783540713883
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. . . . . N° de réf. du vendeur V9783540713883
Quantité disponible : 15 disponible(s)