N

Nimal Nissanke

5 books found

Books by Nimal Nissanke
Introductory logic and sets for computer scientistsNimal Nissanke
⏱ 6h 24m

Introductory logic and sets for computer scientists

Nimal Nissanke

1999384 pp.
Formal SpecificationNimal Nissanke
⏱ 4h 55m

Formal Specification

Nimal Nissanke

1999295 pp.
Realtime SystemsNimal Nissanke
⏱ 7h 21m

Realtime Systems

Nimal Nissanke

1997441 pp.
Formal specificationNimal Nissanke
⏱ 4h 55m

Formal specification

Nimal Nissanke

1999295 pp.
Design of Safety-Critical SystemsNimal Nissanke

Design of Safety-Critical Systems

Nimal Nissanke

2004No page data