Rajagopal Nagarajan | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

THEORY AND FORMAL METHODS OF COMPUTING 94: PROCEEDINGS OF THE SECOND IMPERIAL COLLEGE WORKSHOP

Chris Hankin; I Mackie; Rajagopal Nagarajan
Imperial College Press (1995)
Kovakantinen kirja

77,70 €

FROM LAMBDA CALCULUS TO CYBERSECURITY THROUGH PROGRAM ANALYSIS - ESSAYS DEDICATED TO CHRIS HANKIN ON THE OCCASION OF HIS RETIREM

Alessandra Di Pierro; Pasquale Malacaria; Rajagopal Nagarajan
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

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

Chris Hankin, I Mackie, Rajagopal Nagarajan

77,70 €

Imperial College Press
Sivumäärä: 444 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1995, 01.10.1995 (lisätietoa)
Kieli: Englanti

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.

LISÄÄ OSTOSKORIIN

Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.

Myymäläsaatavuus