Synopsis
This volume constitutes the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 25 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes, automata theory, predicate logic, etc.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This volume constitutes the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 25 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes, automata theory, predicate logic, etc.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Foundations of Software Science and Computation Structures
Image d'archives
Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Edité par
Springer, 2000
ISBN 10 : 3540672575
ISBN 13 : 9783540672579
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. N° de réf. du vendeur UTD141228A
Acheter D'occasion
EUR 39,40
Expédition à EUR 6,08
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Foundation of Software Science and Computation Structures : Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000, Proceedings
Edité par
Springer Berlin / Heidelberg, 2000
ISBN 10 : 3540672575
ISBN 13 : 9783540672579
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 55756726-6
Acheter D'occasion
EUR 57,98
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : Third International Conference, Fossacs 2000, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000, Berlin
Edité par
Springer, 2000
ISBN 10 : 3540672575
ISBN 13 : 9783540672579
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 919042
Acheter D'occasion
EUR 62,08
Expédition à EUR 2,30
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540672579_new
Acheter neuf
EUR 59,15
Expédition à EUR 13,87
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : Third International Conference, Fossacs 2000, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 919042-n
Acheter neuf
EUR 72,40
Expédition à EUR 2,30
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European . (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540672579
Acheter neuf
EUR 57
Expédition à EUR 17,93
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : Third International Conference, Fossacs 2000, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 919042-n
Acheter neuf
EUR 59,14
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European . Germany, March 25 - April 2, 2000 Proceedings
Edité par
Springer 13.04.2000., 2000
ISBN 10 : 3540672575
ISBN 13 : 9783540672579
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Auflage: 2000. 408 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 23,4 x 15,5 x 2,3 cm, Taschenbuch. N° de réf. du vendeur 368174
Acheter D'occasion
EUR 55,54
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Software Science and Computation Structures : Third International Conference, Fossacs 2000, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000, Berlin
Edité par
Springer, 2000
ISBN 10 : 3540672575
ISBN 13 : 9783540672579
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 919042
Acheter D'occasion
EUR 66,70
Expédition à EUR 17,37
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations of Software Science and Computation Structures: Third International Conference, Fossacs 2000, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000, Berlin
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 390 pages. 9.25x6.25x1.00 inches. In Stock. N° de réf. du vendeur x-3540672575
Acheter neuf
EUR 81,56
Expédition à EUR 14,47
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)