Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Peleska, Jan,

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday / by: Haxthausen, Anne E.; Huang, Wen-ling.; Peleska, Jan,; Roggenbach, Markus.; SpringerLink (Online service) (Electronic resources)

Subjects

Industrial engineering Software Engineering. Formal methods (Computer science) Computer Science Logic and Foundations of Programming.

Change password

Login