Artículos relacionados a Partial Order Methods in Verification: Dimacs Workshop...
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (Series in Discrete Mathematics & Theoretical Computer Science) - Tapa dura
Sinopsis
This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata, and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialAmerican Mathematical Society
- Año de publicación1997
- ISBN 10 0821805797
- ISBN 13 9780821805794
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas403
- EditorPeled Doron, Pratt Vaughan R., Holzmann Gerard J.
- Contacto del fabricanteno disponible
EUR 23,46
EUR 21,05 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Partial Order Methods in Verification: Dimacs Workshop...
Imagen de archivo
Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 29
Publicado por
American Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
Antiguo o usado
Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Fine. *Price HAS BEEN REDUCED by 10% until Monday, June 9 (weekend SALE item)* 403 pp., hardcover, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Nº de ref. del artículo: ZB1283719
Cantidad disponible: 1 disponibles
Imagen del vendedor
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Publicado por
Amer Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
Antiguo o usado
Tapa dura
Librería: Lavendier Books, Foster, RI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Very Good. American Mathematical Society; Providence, 1997. Hardcover. A Very Good, binding sturdy and intact, some handling/scuff marks to boards, bit of crimping to spine edges, faint smudge marks top text block edge, rubbing to board corners, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches]. 403pp. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Nº de ref. del artículo: SKU1037734
Cantidad disponible: 1 disponibles
Imagen de archivo
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Publicado por
Amer Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
Antiguo o usado
Tapa dura
Librería: dsmbooks, Liverpool, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: D7S9-1-M-0821805797-4
Cantidad disponible: 1 disponibles