LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
Deductive Program Design

Deductive Program Design

Broy, Manfred

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.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check 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

Broy, Manfred

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
213,99 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-8%
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.
50,85 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-0%
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
34,86 € 34,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
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
31,27 € 41,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
46,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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,87 € 13,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Methoden des Software-Entwurfs und Strukturierte Programmierung (De Gruyter Lehrbuch)
  • hardcover
  • 181 Seiten
  • Erschienen 1982
  • De Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Methoden des Software-Entwurfs und...
Degruyter
45,69 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-0%
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
32,77 € 32,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
46,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
143,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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
17,29 € 82,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-26%
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.
50,78 € 68,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
12,67 € 39,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
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.
12,17 € 26,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
-8%
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.
85,33 € 92,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
39,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
Ten Steps to Complex Learning: A Systematic Approach to Four-Component Instructional Design
  • paperback
  • 462 Seiten
  • Erschienen 2024
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ten Steps to Complex Learning: A Systematic...
Frèrejean, Jimmy
27,69 € 50,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Fundamentals of Logic Design
  • hardcover
  • 687 Seiten
  • Erschienen 2003
  • Brooks/Cole
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fundamentals of Logic Design
Roth, Charles H., Jr.
16,12 € 348,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-20%
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in Computer Science, Band 6816)
  • Kartoniert
  • 155 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional and Constraint Logic Programming:...
Kuchen, Herbert
45,92 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Die Programmiersprache TURBO- PROLOG. Eine gründliche Einführung in der Denkweise der Sprache zur künstliche Intelligenz: Eine gründliche Einführung ... der Sprache zur Künstlichen Intelligenz
  • hardcover
  • 397 Seiten
  • FRANZIS GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die Programmiersprache TURBO- PROLOG. Eine...
Janson, Alexander
18,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Procedural Programming with PostgreSQL PL/pgSQL: Design Complex Database-Centric Applications with PL/pgSQL
  • paperback
  • 336 Seiten
  • Erschienen 2023
  • Apress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Procedural Programming with PostgreSQL...
Chemuduru, Dinesh Kumar
22,00 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
Logic and Computer Design Fundamentals (Prentice Hall international editions)
  • paperback
  • 512 Seiten
  • Erschienen 2000
  • Pearson Education (US)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic and Computer Design Fundamentals...
Kime, Charles R.
21,75 € 41,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Programmierung - Paradigmen und Konzepte
  • hardcover
  • 360 Seiten
  • Erschienen 2005
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programmierung - Paradigmen und Konzepte
Kerner, Immo O.
19,56 € 34,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Prädikatenlogik
  • hardcover
  • 255 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Prädikatenlogik
-
5,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-17%
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
  • Kartoniert
  • 367 Seiten
  • Erschienen 2022
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Designing Machine Learning Systems: An...
Huyen, Chip
55,18 € 66,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Types in Logic Programming
  • hardcover
  • 380 Seiten
  • Erschienen 1992
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Types in Logic Programming
Pfenning, Frank
164,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
Designing Design Education: Weissbuch zur Zukunft der Designlehre
  • Kartoniert
  • 304 Seiten
  • Erschienen 2021
  • avedition
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Designing Design Education: Weissbuch zur...
Spitz, René und Böninger, C...
68,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Designing Maintainable Software
  • hardcover
  • 182 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Designing Maintainable Software
Smith, Dennis D.
1,63 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
The D Programming Language: The D Programming Lan_p1
  • paperback
  • 496 Seiten
  • Erschienen 2010
  • Pearson International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The D Programming Language: The D Programming...
Alexandrescu, Andrei
5,30 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-4%
Programming in Haskell
  • Kartoniert
  • 304 Seiten
  • Erschienen 2017
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming in Haskell
Hutton, Graham
44,41 € 46,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Building Design Systems: Unify User Experiences through a Shared Design Language
  • Kartoniert
  • 164 Seiten
  • Erschienen 2019
  • Apress
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Building Design Systems: Unify User Experiences...
Davis, Taurie
2,73 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
Knowledge Systems Through Prolog: An Introduction
  • paperback
    • -
  • Erschienen 1991
  • Oxford Univ Pr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Knowledge Systems Through Prolog: An Introduction
Kim, Steven H.
3,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to the Theory of Programming Language
  • paperback
  • 447 Seiten
  • Erschienen 1990
  • Prentice-Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to the Theory of Programming Language
Meyer, Bertrand
28,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
-17%
Softwaredesign und Entwurfsmuster: Das umfassende Handbuch für modernes Design mit bewährten Patterns in der Softwareentwicklung
  • hardcover
  • 517 Seiten
  • Erschienen 2025
  • Rheinwerk Computing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Softwaredesign und Entwurfsmuster: Das...
Köhler, Kristian
33,20 € 39,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)
  • hardcover
  • 459 Seiten
  • Erschienen 2000
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Dynamic Logic (FOUNDATIONS OF COMPUTING SERIES)
Tiuryn, Jerzy
21,06 € 64,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-3%
Data Engineering Design Patterns: Recipes for Solving the Most Common Data Engineering Problems
  • paperback
  • 372 Seiten
  • Erschienen 2025
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Data Engineering Design Patterns: Recipes for...
Konieczny, Bartosz
62,77 € 64,97 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
KANTS TRANSCENDENTAL DEDUCTION:ANALYTIC-HISTORICAL COMMENTARY PAPER: An Analytical-Historical Commentary
  • paperback
  • 496 Seiten
  • Erschienen 2015
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
KANTS TRANSCENDENTAL...
ALLISON, Henry E.
24,11 € 61,36 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
  • hardcover
  • 272 Seiten
  • Erschienen 1997
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic of Mathematics: A Modern Course of...
Adamowicz, Zofia
170,04 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
Domain-Driven Design kompakt
  • Kartoniert
  • 140 Seiten
  • Erschienen 2017
  • dpunkt.verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-Driven Design kompakt
Vernon, Vaughn und Lilienth...
19,89 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Vom Problem zum Programm: Eine Einführung in die Informatik (Leitfäden und Monographien der Informatik)
  • paperback
  • 236 Seiten
  • Erschienen 1990
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Vom Problem zum Programm: Eine Einführung in...
Klaeren, Herbert
12,72 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Definitive ANTLR Reference Guide: Building Domain-specific Languages (Pragmatic Programmers)
  • paperback
  • 361 Seiten
  • Erschienen 2007
  • The Pragmatic Programmers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Definitive ANTLR Reference Guide: Building...
Parr, Terence
6,89 €
Details