Artículos relacionados a FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE:...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE:...
Imagen de archivo
Fork Algebras in Algebra, Logic and Computer Science
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Antiguo o usado
Tapa dura
Original o primera edición
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. First Edition. Legacy smart filter userdata3=general (pricing criteria). Nº de ref. del artículo: 3TWDDA0052PC
Comprar usado
EUR 30,64
Envío por EUR 3,58
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Fork Algebras in Algebra, Logic and Computer Science
Publicado por
World Scientific Publishing Co Pte Ltd, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 17996716-6
Comprar usado
EUR 37,60
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-388876
Comprar nuevo
EUR 63,38
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: ABBB-265519
Comprar nuevo
EUR 82,46
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Nº de ref. del artículo: SNTNB-265519
Comprar nuevo
EUR 85,34
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Fork Algebras In Algebra, Logic And Computer Science
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: CX-9789810248765
Comprar nuevo
EUR 86,38
Envío por EUR 6,02
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Fork Algebras in Algebra, Logic and Computer Science
Publicado por
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9789810248765
Comprar nuevo
EUR 103,40
Envío por EUR 2,69
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Fork Algebras in Algebra, Logic and Computer Science
Publicado por
World Scientific Pub Co Inc, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 232 pages. 9.25x6.25x0.75 inches. In Stock. Nº de ref. del artículo: x-9810248768
Comprar nuevo
EUR 126,78
Envío por EUR 12,00
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Fork Algebras in Algebra, Logic and Computer Science
Publicado por
WORLD SCIENTIFIC PUB CO INC, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 909656867
Comprar nuevo
EUR 99,55
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
FORK ALGEBRAS IN ALGEBRA, LOGIC &.(V2)
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9789810248765
Comprar nuevo
EUR 129,57
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles