Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 64,44
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364217163X ISBN 13: 9783642171635
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 69,56
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation. Presents foundational and practical issues in programming languages and systems and features in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, and safety. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 67,19
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364217163X ISBN 13: 9783642171635
Librería: Revaluation Books, Exeter, Reino Unido
EUR 82,82
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 456 pages. 9.00x6.00x0.75 inches. In Stock.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364217163X ISBN 13: 9783642171635
Librería: moluna, Greven, Alemania
EUR 63,23
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Up to date resultsFast conference proceedingsState-of-the-art reportThe 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial s.
Idioma: Inglés
Publicado por Springer, Berlin, Springer, 2010
ISBN 10: 364217163X ISBN 13: 9783642171635
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 78,28
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.
Librería: Buchpark, Trebbin, Alemania
EUR 62,58
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 456 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.