-
Applications of Process Algebra
Venditore: FeltrinelliCambridge University Press, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane148,30 € -
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 € -
Logic in Computer Science: Modelling and Reasoning about Systems
Venditore: Feltrinelli ()Cambridge University Press, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane91,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 € -
Categories and Computer Science
Venditore: FeltrinelliCambridge University Press, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane72,60 € -
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 € -
Illustrating Pascal
Venditore: FeltrinelliCambridge University Press, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,70 € -
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 € -
Transitions and Trees: An Introduction to Structural Operational Semantics
Venditore: FeltrinelliCambridge University Press, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane114,10 € -
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 €
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.