Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 11.02 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Theory and Formal Methods of Computing
Język
Angielski
Angielski
Książka
Twarda
The focus of this workshop was the development of mathematically-based techniques of formal specific...
Cały opis
Kod Libristo: 05121460
?
457 b
457 b
778.19
zł
50 % szansa
Przeszukamy cały świat
Kiedy dostanę książkę?
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
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.
Informacje o książce
Pełna nazwa
Theory and Formal Methods of Computing
Autor
Chris Hankin, I. Mackie, Rajagopal Nagarajan
Język
Angielski
Angielski
Oprawa
Książka - Twarda
Data wydania
1995
Liczba stron
444
EAN
9781860940033
Kod Libristo
05121460
Wydawnictwo
Imperial College Press
Wymiary
230
