Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop - Rilegato
Sinossi
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Theory and Formal Methods of Computing 94: Proceedings...
Foto dell'editore
Theory and Formal Methods of Computing 94. Proceedings of the Second Imperial College Workshop
Editore:
Imperial College Press, 1995
ISBN 10: 186094003X
ISBN 13: 9781860940033
Antico o usato
Rilegato
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 431 pp., hardcover, ex library, else text clean & binding tight. - 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 ZB370275
Compra usato
EUR 4,45
Spese di spedizione:
EUR 3,89
In U.S.A.
Quantità: 1 disponibili