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.

Bestandsnummer des Verk�ufers ZB370275

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Theory and Formal Methods of Computing 94. Proceedings of the Second Imperial College Workshop
Verlag: Imperial College Press
Erscheinungsjahr: 1995
Sprache: Englisch
ISBN-10: 186094003X
ISBN-13: 9781860940033
Einband: Hardcover
Zustand: Good

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Impressum & Info zum Verk�ufer