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
-84%
The Correctness-by-Construction Approach to Programming
  • Gebunden
  • 264 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Correctness-by-Construction Approach to...
Kourie, Derrick G.
17,29 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
C++ Programming: From Problem Analysis to Program Design
  • paperback
  • 479 Seiten
  • Erschienen 2010
  • Cengage Learning, Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
C++ Programming: From Problem Analysis to...
Nugent, Gerard
14,49 € 73,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
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
50,44 € 109,95 €
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.
51,04 €
Details
frontend/listing/product-box/box-product-slider.tpl
-64%
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
13,99 € 39,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
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.
15,48 € 26,32 €
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
43,44 €
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.
17,80 € 348,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programming Principles in Computer Graphics
  • paperback
  • 176 Seiten
  • Erschienen 1986
  • John Wiley & Sons Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Principles in Computer Graphics
Ammeraal, L.
14,69 €
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
20,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
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
24,29 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
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.
24,01 € 41,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Prädikatenlogik
  • hardcover
  • 255 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Prädikatenlogik
-
6,04 €
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
181,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
Systems Analysis, Design and Implementation
  • hardcover
  • 900 Seiten
  • Erschienen 1992
  • Boyd & Fraser Publishing Co
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems Analysis, Design and Implementation
Burch, John G.
25,03 €
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,80 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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,85 € 44,99 €
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
3,02 € 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.
4,52 €
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
31,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development
  • Gebunden
  • 703 Seiten
  • Erschienen 2004
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Applying UML and Patterns: An Introduction to...
Larman, Craig
11,48 € 85,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-64%
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
23,25 € 64,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Objektorientierte Analyse und Design von Kopf bis Fuß
  • paperback
  • 632 Seiten
  • Erschienen 2007
  • O'Reilly
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientierte Analyse und Design von Kopf...
West, David
13,26 € 49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
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.
26,62 € 61,36 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
14,04 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
Introduction to the Design and Analysis of Algorithms
  • Hardcover
  • 592 Seiten
  • Erschienen 2011
  • Pearson Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to the Design and Analysis of...
Levitin, Anany
19,09 € 88,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Einführung in die mathematische Logik: Klassische Prädikatenlogik (Mathematische Leitfäden)
  • paperback
  • 212 Seiten
  • Erschienen 1991
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die mathematische Logik:...
Hermes, Hans
25,21 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Programming Languages: Concepts and Constructs
  • hardcover
  • 400 Seiten
  • Erschienen 1989
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages: Concepts and Constructs
Sethi, Ravi
2,27 € 62,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
Compiler Design in C
  • paperback
  • 534 Seiten
  • Erschienen 1989
  • Prentice-Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Compiler Design in C
Holub, Allen I.
21,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
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...
25,29 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Utilizando UML e Padrões. Uma Introdução à Análise e ao Projeto Orientados a Objetos e ao Desenvolvimento Iterativo (Em Portuguese do Brasil)
  • paperback
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Utilizando UML e Padrões. Uma Introdução à...
-
80,67 €
Details
frontend/listing/product-box/box-product-slider.tpl
Structured Analysis and System Specification
  • paperback
  • 366 Seiten
  • Erschienen 1978
  • Yourdon Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Structured Analysis and System Specification
DeMarco, Tom
10,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-25%
Gestaltung von Unterricht: Eine Einführung in die Didaktik
  • Kartoniert
  • 384 Seiten
  • Erschienen 2017
  • UTB GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Gestaltung von Unterricht: Eine Einführung in...
Tulodziecki, Gerhard und He...
20,93 € 27,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
Entwurf von digitalen Schaltungen und Systemen mit HDLs und FPGAs: Einführung mit VHDL und SystemC (Grundlagen der Elektro- und Informationstechnik)
  • hardcover
  • 568 Seiten
  • Erschienen 2016
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entwurf von digitalen Schaltungen und Systemen...
Bartholomä, Frank
34,23 € 59,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Objektorientierter Fachentwurf: Ein terminologiebasierter Ansatz für die Konstruktion von Anwendungssystemen (XTeubner Studienbücher Informatik) ... Studienbücher Informatik, 20, Band 20)
  • paperback
  • 340 Seiten
  • Erschienen 1997
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientierter Fachentwurf: Ein...
., .
3,68 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
C++, UML und Design Patterns
  • Hardcover
  • 1176 Seiten
  • Erschienen 2005
  • Addison-Wesley Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
C++, UML und Design Patterns
Herold, Helmut;Klar, Michae...
45,46 € 59,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Coding in Delphi
  • paperback
  • 242 Seiten
  • Erschienen 2014
  • Nepeta Enterprises
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Coding in Delphi
Hodges, Nick
4,49 € 14,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programming in Modula-2 (Monographs in Computer Science)
  • hardcover
    • -
  • Erschienen 1985
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming in Modula-2 (Monographs in Computer...
Wirth, Niklaus
34,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
Structured Approach to Programming
  • hardcover
  • 264 Seiten
  • Erschienen 1977
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Structured Approach to Programming
Michtom, Jay I.
2,41 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Patterns in Ruby: Foreword by Obie Fernandez (Addison-Wesley Professional Ruby Series)
  • hardcover
  • 384 Seiten
  • Erschienen 2007
  • Addison-Wesley Longman, Ams...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Patterns in Ruby: Foreword by Obie...
Olsen, Russ
11,24 €
Details