Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 140 Treffer.


Foundations of Algebraic Specification and Formal Software Development

Produktform: E-Buch Text Elektronisches Buch in proprietärem


This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties.

Verlag: Springer Berlin, 584 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 05.01.2012

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Confluent String Rewriting

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 126 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 429 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

The Logic of Partial Information

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 715 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Computing in Horn Clause Theories

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 322 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Finiteness and Regularity in Semigroups and Formal Languages

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 240 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Theoretical Aspects of Distributed Computing in Sensor Networks

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Verlag: Springer Berlin, 914 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 15.01.2011

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, Auflage 2, 236 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 17.04.2013

139,09 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Iteration Theories

The Equational Logic of Iterative Processes

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 630 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Universal Algebra for Computer Scientists

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 339 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel