Articoli correlati a Partial Order Methods in Verification: Dimacs Workshop...
Sinossi
The proceedings from the July 1996 workshop surveying the theory and practice of modeling, specifying, and validating concurrent systems. The 18 presentations, developed by researchers from related but diverse fields, focus on practical and theoretical topics in using partial order models, automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The volume also features an e-mail debate regarding the importance of the partial order dichotomy in modeling concurrency. Includes illustrations. Lacks an index. Annotation c. by Book News, Inc., Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Partial Order Methods in Verification: Dimacs Workshop...
Foto dell'editore
Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 29
Editore:
American Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
Antico o usato
Rilegato
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Fine. *Price HAS BEEN REDUCED by 10% until Tuesday, Sept. 2 (holiday 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. Codice articolo ZB1283719
Quantità: 1 disponibili
Immagini fornite dal venditore
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Editore:
Amer Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
Antico o usato
Rilegato
Da: Lavendier Books, Foster, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: 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. Codice articolo SKU1037734
Quantità: 1 disponibili