Ebook > Scienza > Generale > Bozzano G Luisa: Formal Models and Semantics (PDF)

Bozzano G Luisa
Formal Models and Semantics

Supporto

Copertina di Bozzano G Luisa: Formal Models and Semantics (PDF)

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.

€287.00

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9780080933924 ● Casa editrice Elsevier Science ● Pubblicato 2014 ● Scaricabile 3 volte ● Moneta EUR ● ID 5654846 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Author Unknown Bozzano G Luisa Bozzano G. Luisa UNKNOWN AUTHOR

80.800 Ebook in questa categoria

Copertina di Brian (Florida International University, USA) Fonseca & Gabriel (United States Army War College, USA) Marcella: Democracy and Security in Latin America

Brian (Florida International University, USA) Fonseca & Gabriel (United States Army War College, USA) Marcella: Democracy and Security in Latin America

The COVID-19 pandemic has highlighted the need for governments to generate the necessary capacity to address important security and institutional challenges; this volume deepens our understanding of …

Copertina di Elayne Coakes: Knowledge Development and Social Change through Technology: Emerging Studies

Elayne Coakes: Knowledge Development and Social Change through Technology: Emerging Studies

Copertina di Matthew Crick: Power, Surveillance, and Culture in YouTube 's Digital Sphere

Matthew Crick: Power, Surveillance, and Culture in YouTube ‘s Digital Sphere

Copertina di Salvatore Distefano & Robert Lowe: Advanced Research on Biologically Inspired Cognitive Architectures

Salvatore Distefano & Robert Lowe: Advanced Research on Biologically Inspired Cognitive Architectures

Copertina di Arthur J Klinghoffer: Israel And The Soviet Union

Arthur J Klinghoffer: Israel And The Soviet Union

This volume is a survey of Soviet-Israeli relations from the time when the U.S.S.R. supported the establishment of Israel”s independence in 1947-48. Although diplomatic relations have been broken …

Copertina di Zhonghua (Sun Yat-Sen University, China) Guo: The Routledge Handbook of Chinese Citizenship

Zhonghua (Sun Yat-Sen University, China) Guo: The Routledge Handbook of Chinese Citizenship

Two assumptions prevail in the study of Chinese citizenship: one holds that citizenship is unique to the Western political culture, and China has historically lacked the necessary conditions for its …

Copertina di Mary (University of Connecticut, USA) Buchanan & Phoebe Godfrey: Global Im-Possibilities

Mary (University of Connecticut, USA) Buchanan & Phoebe Godfrey: Global Im-Possibilities

At a time when environmental and social stakes are at their highest – with rising crises and contradictions at the nexus of a building sense of environmental and social collapse – there are no easy …

Copertina di Carmen (Community Corporate, Australia) Garcia & Stewart (University of Sydney, Australia) Jones: Social Impact Investing

Carmen (Community Corporate, Australia) Garcia & Stewart (University of Sydney, Australia) Jones: Social Impact Investing

Social impact investing is gaining ground as one of the most important investment trends in the world. While the size of the social impact investing market is still relatively small in global terms, …

Copertina di Paul R. (Professor Emeritus, Florida Gulf Coast Univ., US, Visiting Professorial Fellow, Univ. of New South Wales, Australia) Bartrop & Steven L. (University of Alabama, USA) Jacobs: Greek and Roman Education

Paul R. (Professor Emeritus, Florida Gulf Coast Univ., US, Visiting Professorial Fellow, Univ. of New South Wales, Australia) Bartrop & Steven L. (University of Alabama, USA) Jacobs: Greek and Roman Education

Modern western education finds its origins in the practices, systems and schools of the ancient Greeks and Romans. It is in the field of education, in fact, that classical antiquity has exerted one o …

Copertina di Antje (Bielefeld University, Germany) Missbach: The Criminalisation of People Smuggling in Indonesia and Australia

Antje (Bielefeld University, Germany) Missbach: The Criminalisation of People Smuggling in Indonesia and Australia

This book offers an ethnographically informed critique of the hyper-politicised debate on the facilitation of irregularised migration for people seeking asylum between Indonesia and Australia. While …

Pagina successiva >>>