This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distribute…
This essential classic title provides a comprehensive foundation in the C# programming language and the frameworks it lives in. Now in its 8th edition, you'll find all the very latest C# 7.1 and .NET 4.7 features here, along with four brand new chapters on Microsoft's lightweigh…
This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some p…
by Bruni, Roberto, Montanari, Ugo
fromTexts in theoretical computer science (Print)
Discover how to get the most out of Ubuntu for work, home, and play. Learning a new operating system can feel daunting, especially if you're used to Windows or OS X. If you've been afraid to try Ubuntu because you don't know where to start, this book introduces you to a wide sel…
Discover how to get the most out of Ubuntu for work, home, and play. Learning a new operating system can feel daunting, especially if you're used to Windows or OS X. If you've been afraid to try Ubuntu because you don't know where to start, this book introduces you to a wide sel…
