Könyv Theory and Formal Methods of Computing Chris Hankin

Theory and Formal Methods of Computing

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: 50 % esély
Keressük az egész világon
60 993 Ft
The focus of this workshop was the development of mathematically-based techniques of formal specific...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1995
oldal
444
EAN
9781860940033
Enbook ID
05121460
Súly
592
Méretek
230

Teljes leírás

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.

Érdekelheti

Horn of the Kraken

Stephen B. Pearl
17 030 Ft

Wally Walnut

B. L. Edwards
9 626 Ft
23 578 Ft
6 022 Ft

The Holy Qur'an.

Kerry Butters
7 061 Ft
3 619 Ft

Woods

COBEN HARLAN
4 076 Ft

Looking for Laura

David Wilson
13 042 Ft
9 585 Ft

Love That Story

Jonathan Van Ness
5 245 Ft

Porch Talk

Philip Gulley
3 106 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

4 705 Ft
2 343 Ft

Čepel čarodějky

A. K. Mulford
5 509 Ft

Pfadfinderin

Paul Heyse
3 166 Ft

Bajkoviti adventski kalendar

Tereza Konupčíková
11 429 Ft
3 794 Ft
3 854 Ft

Bwa bandé

Marie-Reine de Jaham
9 451 Ft
2 680 Ft
17 266 Ft
9 146 Ft

Metro Cuadrado

M. Depatlaura
5 231 Ft