Bozzano G Luisa 
Formal Models and Semantics [PDF ebook] 

Destek

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.

€294.73
Ödeme metodları
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● ISBN 9780080933924 ● Yayımcı Elsevier Science ● Yayınlanan 2014 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 5654846 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

90.447 Bu kategorideki e-kitaplar