Lets Explore,
Cover of Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

(Hardback)

Chris Hankin, I MacKie, Rajagopal Nagarajan,

Imperial College Press (Publisher)

Published
1995
Reviews
0
Computing and Information TechnologyComputer scienceMathematical theory of computation

Ships within 10-12 days

Out Of Stock

₹10055.00
₹13395.00
25% off
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.

More books by Chris Hankin, I MacKie, Rajagopal Nagarajan

Cover of Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Chris Hankin

₹13395.0₹10054.39

Similar Products

Cover of Formal Methods

Formal Methods

Jonathan P Bowen

₹2201.45
Cover of Computational Geometry - Proceedings Of The Workshop

Computational Geometry - Proceedings Of The Workshop

A Conte

₹10393.0
Cover of Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Abbas Edalat

₹11400.0₹9786.67
Cover of Monte Carlo Methods And Parallel Algorithms - International Youth Workshop

Monte Carlo Methods And Parallel Algorithms - International Youth Workshop

Blagovest H Sendov

₹5605.0₹4247.44
Cover of B Physics And Cp Violation: Bcp4 - Proceedings Of The International Workshop

B Physics And Cp Violation: Bcp4 - Proceedings Of The International Workshop

T Ohshima

₹20408.0₹15918.0
Cover of Methods of Approximation Theory

Methods of Approximation Theory

Alexander I Stepanets

₹0.0
Cover of Gammasphere Physics - Proceedings Of The Workshop

Gammasphere Physics - Proceedings Of The Workshop

Augusto O Macchiavelli

₹6175.0₹4671.88
Cover of Computer Aided Systems Theory - Cast '94

Computer Aided Systems Theory - Cast '94

George Klir

₹0.0
Vidya AI