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 Comp, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Antiguo o usado
Tapa dura
Librería: suffolkbooks, Center moriches, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Very Good. Fast Shipping - Safe and Secure 7 days a week! Nº de ref. del artículo: 3TWDDA0052PC
Comprar usado
EUR 26,13
Envío por EUR 3,44
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 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 39,90
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 58,55
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