Theory and Formal Methods of Computing

Name: Theory and Formal Methods of Computing
Brand: Imperial College Press
SKU: 9781860940033
Price: 154.99 EUR
Availability: InStock

Автор: Chris Hankin, I. Mackie, Rajagopal Nagarajan

Език:

Корици: С твърди корици

Издател: Imperial College Press

Наличност: 50% вероятност

Ще претърсим света

154.99 € 303.13 лв

The focus of this workshop was the development of mathematically-based techniques of formal specific...

Информация за книгата

Автор

Chris Hankin, I. Mackie, Rajagopal Nagarajan

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1995

страници

444

EAN

9781860940033

Enbook ID

05121460

Издател

Imperial College Press

Теглоt

592

Размери

230

Пълно описание

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 here range from the purely theoretical to practical applications.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Theory and Formal Methods of Computing

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също