Bozzano G Luisa 
Formal Models and Semantics [PDF ebook] 

Sokongan
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
€291.35
cara bayaran
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● ISBN 9780080933924 ● Penerbit Elsevier Science ● Diterbitkan 2014 ● Muat turun 3 kali ● Mata wang EUR ● ID 5654846 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

87,271 Ebooks dalam kategori ini