Examinando Compilers 761 - 780 de 2010 resultados

Libro electrónico
Handbook of Formal Languages
Volume 2. Linear Modeling: Background and Application
- Author
- Springer
- Diseño fijo
A partir de:S/ 264.18 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
- 1st Edición
- Shengchao Qin; ‎Zongyan Qiu
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
- 1st Edición
- Sharon Barner; ‎Ian Harris; ‎Daniel Kroening
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
- Springer
- Diseño ajustable
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Multi-Agent Programming:
Languages, Tools and Applications
- 1st Edición
- Rafael H. Bordini; ‎Mehdi Dastani;‎ Jürgen Dix
- Springer
- Diseño fijo
A partir de:S/ 120.48 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Migrating from Drupal to Backdrop
- Todd Tomlinson
- Apress
- Diseño fijo
A partir de:S/ 44.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Essential TypeScript 4
From Beginner to Pro
- 2nd Edición
- Adam Freeman
- Apress
- Diseño ajustable
A partir de:S/ 77.37 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Grundkurs JAVA
Von den Grundlagen bis zu Datenbank- und Netzanwendungen
- 11th Edición
- Dietmar Abts
- Springer Vieweg
- Diseño fijo
A partir de:S/ 38.69 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings
- 1st Edición
- G. Ramalingam
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automatic Program Development
A Tribute to Robert Paige
- 1st Edición
- Olivier Danvy; ‎Fritz Henglein; ‎Harry Mairson
- Springer
- Diseño fijo
A partir de:S/ 109.43 PENEl precio incluye IGV
Ver detalles

Libro electrónico
M-Solid Varieties of Algebras
- Jörg Koppitz; Klaus Denecke
- Springer
- Diseño fijo
A partir de:S/ 109.43 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
- 1st Edición
- Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Stefan Hallerstede
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Internet Programming with OmniMark
- Mark Baker
- Springer
- Diseño fijo
A partir de:S/ 175.75 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Constraint Solving and Language Processing
First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
- 1st Edición
- Henning Christiansen; ‎Peter Rossen Skadhauge; ‎Jørgen Villadsen
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
- 1st Edición
- Rocco De Nicola; ‎Gianluigi Ferrari; ‎Greg Meredith
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Security -- Theories and Systems
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
- 1st Edición
- Mitsuhiro Okada; ‎Benjamin Pierce; ‎Andre Scedrov
- Springer
- Diseño fijo
A partir de:S/ 60.79 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/ 175.75 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
- 1st Edición
- Ana Cavalcanti; ‎Augusto Sampaio; ‎Jim Woodcock
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Pro Functional PHP Programming
Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity
- Rob Aley
- Apress
- Diseño fijo
A partir de:S/ 44.21 PENEl precio incluye IGV
Ver detalles