Computer Science Foundations and Applied Logic

Ansicht: 3 Einträge
Kenneth J. Supowit: Algorithms for Constructing Computably Enumerable Sets, Buch

Kenneth J. Supowit
Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scient…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
Raymond Devillers: Petri Net Primer, Buch

Raymond Devillers
Petri Net Primer

Computer Science Foundations and Applied Logic

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 85,33*
Artikel ist im Warenkorb
William M. Farmer: Simple Type Theory, Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.