-
Metamathematics, Machines and Goedel's Proof
Venditore: FeltrinelliCambridge University Press, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,80 € -
Semantics and Logics of Computation
Venditore: FeltrinelliCambridge University Press, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane193,70 € -
The Way of Z: Practical Programming with Formal Methods
Venditore: FeltrinelliCambridge University Press, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane99,30 € -
Lisp in Small Pieces
Venditore: FeltrinelliCambridge University Press, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane151,60 € -
Qualified Types: Theory and Practice
Venditore: FeltrinelliCambridge University Press, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,80 € -
Modal Logic
Venditore: FeltrinelliCambridge University Press, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane147,20 € -
Formal Methods in Human-Computer Interaction
Venditore: FeltrinelliCambridge University Press, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane73,90 € -
Formal Specification and Design
Venditore: FeltrinelliCambridge University Press, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane77,50 € -
Formal Methods in Artificial Intelligence
Venditore: FeltrinelliCambridge University Press, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane64,10 € -
Logical Frameworks
Venditore: FeltrinelliCambridge University Press, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,90 € -
Distributed Ada: Developments and Experiences: Proceedings of the Distributed Ada '89 Symposium, University of Southampton, 11–12 December 1989
Venditore: FeltrinelliCambridge University Press, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane179,00 € -
Program Construction
Venditore: FeltrinelliCambridge University Press, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane84,90 € -
BCPL: The Language and its Compiler
Venditore: FeltrinelliCambridge University Press, 1981Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane78,80 € -
Foundations of Component-Based Systems
Venditore: FeltrinelliCambridge University Press, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane82,30 € -
Knowledge Representation, Reasoning and Declarative Problem Solving
Venditore: FeltrinelliCambridge University Press, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane91,70 € -
Lambda-calculus, Combinators and Functional Programming
Venditore: FeltrinelliCambridge University Press, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane85,70 € -
Algebraic Specification of Communication Protocols
Venditore: FeltrinelliCambridge University Press, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,40 € -
Functional Programming and Input/Output
Venditore: FeltrinelliCambridge University Press, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,30 € -
Compiling with Continuations
Venditore: FeltrinelliCambridge University Press, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane139,10 € -
Deductive and Declarative Programming
Venditore: FeltrinelliCambridge University Press, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,10 € -
Foundations of Parallel Programming
Venditore: FeltrinelliCambridge University Press, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,10 € -
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Venditore: FeltrinelliCambridge University Press, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,10 € -
Programs, Recursion and Unbounded Choice
Venditore: FeltrinelliCambridge University Press, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,30 € -
Introduction to Intricate Artificial Psychology with Python
Venditore: FeltrinelliElsevier Science Publishing Co Inc, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 3 settimane147,39 € -
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems
Venditore: FeltrinelliChapman and Hall, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane206,80 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.