Examinando Compilers 701 - 720 de 2103 resultados

Libro electrónico
Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
- 1st Edición
- Shaoying Liu; Tom Maibaum; Keijiro Araki
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Practical Introduction to PSL
- Cindy Eisner; Dana Fisman
- Springer
- Diseño fijo
A partir de:S/ 159.92 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Language Constructs for Describing Features
Proceedings of the FIREworks workshop
- 1st Edición
- Stephen Gilmore; Mark Ryan
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages, Compilers, and Tools for Embedded Systems
ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
- 1st Edición
- Jack Davidson; ‎Sang Lyul Min
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness Proof
- Mikhail Kovalev; Silvia M. Müller; Wolfgang J. Paul
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
- 1st Edición
- Jose L. Fiadeiro
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programmierung mit Pascal
- 7th Edición
- Thomas Ottmann; Peter Widmayer
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
- 1st Edición
- Mark Aagaard; John Harrison
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Practical Approach to Compiler Construction
- Des Watson
- Springer
- Diseño ajustable
A partir de:S/ 50.29 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Digital Electronics for Musicians
- Alexandros Drymonitis
- Apress
- Diseño fijo
A partir de:S/ 45.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Python Descriptors
- Jacob Zimmerman
- Apress
- Diseño fijo
A partir de:S/ 15.09 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
- 1st Edición
- Marcello M. Bonsangue; W.P. de Roever; Frank S. de Boer
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Pro Core Data for iOS
Data Access and Persistence Engine for iPhone, iPad, and iPod touch
- Michael Privat; Robert Warner
- Apress
- Diseño fijo
A partir de:S/ 40.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Design Patterns in Modern C++
Reusable Approaches for Object-Oriented Software Design
- Dmitri Nesteruk
- Apress
- Diseño ajustable
A partir de:S/ 50.29 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
- Domenico Cantone; Eugenio Omodeo; Alberto Policriti
- Springer
- Diseño fijo
A partir de:S/ 159.92 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Trends in Functional Programming
21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
- 1st Edición
- Aleksander Byrski; John Hughes
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Design Concepts with Code
An Approach for Developers
- Stanko Blatnik; Kelly Carey
- Apress
- Diseño fijo
A partir de:S/ 40.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
An Introduction to Object-Oriented Programming in C++
with Applications in Computer Graphics
- 2nd Edición
- Graham M. Seed
- Springer
- Diseño fijo
A partir de:S/ 99.57 PENEl precio incluye IGV
Ver detalles

Libro electrónico
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles