Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Deductive Program Design

Deductive Program Design

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3540609474

Verlag:

Springer-Verlag GmbH

Seitenzahl:

467

Auflage:

-

Erschienen:

1996-06-18

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Deductive Program Design

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art. von Broy, Manfred

Produktdetails

Einband:

Gebunden

Seitenzahl:

467

Erschienen:

1996-06-18

Sprache:

Englisch

EAN:

9783540609476

ISBN:

3540609474

Verlag:

Springer-Verlag GmbH

Gewicht:

848 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Entdecke mehr vom Verlag

Springer-Verlag GmbH

Neu

213,99 €

Entdecke mehr zum Thema

The Design of Well-Structured and Correct Programs (Monographs in Computer Science)

hardcover
292 Seiten
Erschienen 1978
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Design of Well-Structured and Correct...

Alagic, Suad

6,35 €

-37%

Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung (Computational Intelligence)

Kartoniert
463 Seiten
Erschienen 1993
Vieweg Verlagsgesellschaft

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Deduktive Datenbanken: Eine Einführung aus der...

Cremers, Armin B.

34,85 € 54,99 €

Techniques of Program Structure and Design

hardcover
364 Seiten
Erschienen 1976
Prentice Hall Ptr

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Techniques of Program Structure and Design

Yourdon, Edward

20,09 €

-47%

Understanding Behavioral Synthesis: A Practical Guide to High-Level Design

hardcover
337 Seiten
Erschienen 1999
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Understanding Behavioral Synthesis: A Practical...

Elliott, John P.

85,15 € 160,49 €

-29%

Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science, 79, Band 79)

paperback
280 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Language Design and Programming Methodology:...

Tobias, J. M.

18,82 € 26,32 €

-38%

Design Patterns. Elements of Reusable Object-Oriented Software.

Gebunden
395 Seiten
Erschienen 1995
Prentice Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Design Patterns. Elements of Reusable...

-

25,28 € 40,99 €

-35%

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

paperback
176 Seiten
Erschienen 2023
Apress

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Dependent Types with Idris:...

Sitnikovski, Boro

22,85 € 34,99 €

-34%

Tidy First?: A Personal Exercise in Empirical Software Design

Hardcover
Erschienen 2023
O'Reilly Media

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Tidy First?: A Personal Exercise in Empirical...

Beck, Kent

27,04 € 41,00 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

31,74 €

Praktische Konstruktionsmethode programmiert. Programmierte Unterweisung für Konstrukteure

perfect
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Praktische Konstruktionsmethode programmiert....

-

11,33 €

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

hardcover
333 Seiten
Erschienen 1988
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Computing in Horn Clause Theories (Monographs...

Padawitz, Peter

24,70 €

-84%

Instructional Design: A Plan for Unit and Course Development

paperback
Erschienen 1977
Lake Pub Co

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Instructional Design: A Plan for Unit and...

Kemp, Jerrold E.

2,23 € 13,64 €

-35%

Co-Design for System Acceleration: A Quantitative Approach

hardcover
248 Seiten
Erschienen 2007
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Co-Design for System Acceleration: A...

Nedjah, Nadia

60,34 € 92,99 €

Database Design Fundamentals

paperback
17 Seiten
Erschienen 1995
Pinnacle Pub

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Database Design Fundamentals

Hernandez, Michael J.

35,85 €

-29%

Begriffsbasierte Integration von Systemanalysemethoden (Betriebs- und Wirtschaftsinformatik, Band 53)

perfect
464 Seiten
Erschienen 1992
Physica

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Begriffsbasierte Integration von...

Hansen, Hans R.

39,32 € 54,99 €

The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

hardcover
472 Seiten
Erschienen 1999
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Logic Programming Paradigm: A 25-Year...

Truszczynski, Mirek

38,86 €

System Level Hardware/Software Co-Design: An Industrial Approach

hardcover
242 Seiten
Erschienen 1997
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

System Level Hardware/Software Co-Design: An...

Jess, Jochen A.G.

32,06 €

-29%

Teaching as a Design Science: Building Pedagogical Patterns for Learning and Technology

paperback
272 Seiten
Erschienen 2012
Routledge

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Teaching as a Design Science: Building...

Laurillard, Diana

36,47 € 51,35 €

-22%

Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (Lecture Notes in Computer Science, 107, Band 107)

paperback
496 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formalization of Programming Concepts:...

Diaz, J.

42,68 € 54,86 €

Microprogrammed State Machine Design

hardcover
512 Seiten
Erschienen 1993
CRC Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Microprogrammed State Machine Design

Lynch, Michel A., Ph.D.

164,70 €

Design and Implementation of Programming Languages

paperback
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Design and Implementation of Programming Languages

-

36,86 €

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

A Formalization of Set Theory Without Variables...

Tarski, Alfred

57,48 €

Making Instructional Design Decisions

paperback
342 Seiten
Erschienen 1997
Prentice Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Making Instructional Design Decisions

Seels, Barbara

17,62 €

Modern Compiler Design

paperback
376 Seiten
Erschienen 2005
Pearson

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Modern Compiler Design

Galles, David

51,72 €

-35%

DDD 4 Developers: Patterns für die Implementierung

perfect
156 Seiten
Erschienen 2025
dpunkt.verlag GmbH

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

DDD 4 Developers: Patterns für die Implementierung

Rudoll, Christopher

21,48 € 32,90 €

Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

paperback
Erschienen 1990
Springer Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Foundations of Equational Logic Programming...

Holldobler, Steffen

196,17 €

Constructing a Microprogrammed Computer

paperback
148 Seiten
Erschienen 2019
Independently published

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Constructing a Microprogrammed Computer

Dos Reis, Anthony J.

35,86 €

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)

paperback
150 Seiten
Erschienen 2007
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advances in Logic: The North Texas Logic...

Jackson, Steve

104,00 €

-86%

Introduction to the Design and Analysis of Algorithms

paperback
590 Seiten
Erschienen 2011
Pearson Education

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to the Design and Analysis of...

AnanyLevitin

11,34 € 82,99 €

-34%

Domain-Driven Design: Tackling Complexity in the Heart of Software

Gebunden
529 Seiten
Erschienen 2003
Pearson International

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Domain-Driven Design: Tackling Complexity in...

Evans, Eric J.

45,27 € 68,47 €

-25%

Digital Design and Modeling with VHDL and Synthesis (Systems)

paperback
364 Seiten
Erschienen 1997
John Wiley & Sons

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Digital Design and Modeling with VHDL and...

C. Chang, K.

104,32 € 139,00 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

68,74 €

Front Panel: Designing Software for Embedded User Interfaces

paperback
315 Seiten
Erschienen 1998
CMP Books

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Front Panel: Designing Software for Embedded...

Murphy, Niall Desmond

10,89 €

-75%

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)

paperback
336 Seiten
Erschienen 1993
CTR FOR STUDY OF LANG & INFO

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Language of First-Order Logic, Including...

Etchemendy, John

9,83 € 39,00 €

-27%

9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 310, Band 310)

paperback
792 Seiten
Erschienen 1988
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

9Th International Conference On Automated...

Lusk, Ewing

83,23 € 114,48 €

-64%

Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)

paperback
388 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Theory of Program Structures: Schemes,...

Greibach, Sheila A.

9,44 € 26,32 €

Designing Embedded Communications Software: Augment system performance. Optimize protocol implementation. Increase code maintainability

paperback
212 Seiten
Erschienen 2003
CMP

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Designing Embedded Communications Software:...

Sridhar, T.

35,22 €

-60%

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Hardcover
534 Seiten
Erschienen 1993
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Handbook of Logic in Artificial Intelligence...

-

197,71 € 496,50 €

-37%

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

paperback
552 Seiten
Erschienen 1994
MIT Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Art of Prolog, second edition: Advanced...

Sterling, Leon S.

58,49 € 92,28 €

Programming Language Concepts

paperback
346 Seiten
Erschienen 1982
John Wiley & Sons Inc

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Programming Language Concepts

Jazayeri, Mehdi

30,52 €