Articles liés à Fork Algebras in Algebra, Logic and Computer Science
Synopsis
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Fork Algebras in Algebra, Logic and Computer Science
Image d'archives
Fork Algebras in Algebra, Logic and Computer Science
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : suffolkbooks, Center moriches, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. First Edition. Legacy smart filter userdata3=general (pricing criteria). N° de réf. du vendeur 3TWDDA0052PC
Acheter D'occasion
EUR 30,64
Expédition à EUR 3,58
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Fork Algebras in Algebra, Logic and Computer Science
Edité par
World Scientific Publishing Co Pte Ltd, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 17996716-6
Acheter D'occasion
EUR 37,60
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-388876
Acheter neuf
EUR 63,38
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABBB-265519
Acheter neuf
EUR 82,46
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur SNTNB-265519
Acheter neuf
EUR 85,34
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Fork Algebras In Algebra, Logic And Computer Science
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur CX-9789810248765
Acheter neuf
EUR 86,38
Expédition à EUR 6,02
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Fork Algebras in Algebra, Logic and Computer Science
Edité par
World Scientific Publishing Company, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9789810248765
Acheter neuf
EUR 103,40
Expédition à EUR 2,69
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Fork Algebras in Algebra, Logic and Computer Science
Edité par
World Scientific Pub Co Inc, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 232 pages. 9.25x6.25x0.75 inches. In Stock. N° de réf. du vendeur x-9810248768
Acheter neuf
EUR 126,78
Expédition à EUR 12
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Fork Algebras in Algebra, Logic and Computer Science
Edité par
WORLD SCIENTIFIC PUB CO INC, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. InhaltsverzeichnisContents: Introduction and Motivations Algebras of Binary Relations and Relation Algebras Proper and Abstract Fork Algebras Representability and Independence Interpretability of Classical First-Order Logic Algebrai. N° de réf. du vendeur 909656867
Acheter neuf
EUR 99,55
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
FORK ALGEBRAS IN ALGEBRA, LOGIC &.(V2)
Edité par
World Scientific, 2002
ISBN 10 : 9810248768
ISBN 13 : 9789810248765
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding. N° de réf. du vendeur 9789810248765
Acheter neuf
EUR 129,57
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)