Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Artikel

Ergebnisse zu
Compilerbau

Suche verfeinern

Darstellung

Sortierung

je Seite

Sprache

Jahr

Medienart

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

von Karen Yorav

Buch | Softcover

2008 | Springer Berlin

ISBN: 9783540779643

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

von Francesco Logozzo; Doron A. Peled; Leonore D. Zuck

Buch | Softcover

2008 | Springer Berlin

ISBN: 9783540781622

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Model Checking Software

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

von Klaus Havelund; Rupak Majumdar; Jens Palsberg

Buch | Softcover

2008 | Springer Berlin

ISBN: 9783540851134

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Requirements Engineering: Foundation for Software Quality

15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

von Martin Glinz; Patrick Heymans

Buch | Softcover

2009 | Springer Berlin

ISBN: 9783642020490

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Foundations of Software Science and Computational Structures

13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos,..

von Luke Ong

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642120312

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Universal Access. Theoretical Perspectives, Practice, and Experience

7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers

von Noelle Carbonell; Constantine Stephanidis

Buch | Softcover

2003 | Springer Berlin

ISBN: 9783540008552

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

von Andreas Ulrich

Buch | Softcover

2004 | Springer Berlin

ISBN: 9783540208945

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Software Engineering with OBJ

Algebraic Specification in Action

von Joseph A. Goguen; Grant Malcolm

Buch | Hardcover

2000 | Kluwer Academic Publishers

ISBN: 9780792377573

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Workload Characterization of Emerging Computer Applications

von Lizy Kurian John; Ann Marie Grizzaffi Maynard

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9780792373155

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Parallel Machines: Parallel Machine Languages

The Emergence of Hybrid Dataflow Computer Architectures

von Robert A. Iannucci

Buch | Hardcover

1990 | Kluwer Academic Publishers

ISBN: 9780792391012

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

PORTAL Language Description

von Arnold Businger

Buch | Softcover

1988 | Auflage: 2 | Springer Berlin

ISBN: 9783540189602

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Static Analysis

First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

von Baudouin LeCharlier

Buch | Softcover

1994 | Springer Berlin

ISBN: 9783540584858

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Practical SGML

von Eric Van Herwijnen

Buch | Softcover

1994 | Kluwer Academic Publishers

ISBN: 9780792394341

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

The Programming Language Ada

Reference Manual. Proposed Standard Document United States Department of Defense

von Cii Honeywell Bull

Buch | Softcover

1981 | Springer Berlin

ISBN: 9783540106937

CHF 69,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Practical Aspects of Declarative Languages

First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

von Gopal Gupta

Buch | Softcover

1999 | Springer Berlin

ISBN: 9783540655275

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

PASCAL for Programmers

von S. Eisenbach; C. Sadler

Buch | Softcover

1981 | Springer Berlin

ISBN: 9783540104735

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Modula-2

An Introduction

von Daniel Thalmann

Buch | Softcover

1985 | Springer Berlin

ISBN: 9783540132974

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

The Synthesizer Generator Reference Manual

von Thomas W. Reps; Tim Teitelbaum

Buch | Softcover

1988 | Springer-Verlag New York Inc.

ISBN: 9780387969107

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Automatic Re-engineering of Software Using Genetic Programming

von Conor Ryan

Buch | Hardcover

1999 | Kluwer Academic Publishers

ISBN: 9780792386537

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

The NeWS Book

An Introduction to the Network/Extensible Window System

von James Gosling; David S.H. Rosenthal; Michelle J...

Buch | Hardcover

1989 | Springer-Verlag New York Inc.

ISBN: 9780387969152

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Ergebnisse zu Compilerbau

Ergebnisse zu
Compilerbau