LeafKlimaneutrales 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.
Neu bei lehmanns bestellen
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
From Control to Design
  • Hardcover
  • 280 Seiten
  • Erschienen 2008
  • Actar
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
From Control to Design
Sakamoto, Tomoko
5,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
-40%
Domain-Driven Design
  • Hardcover
  • 529 Seiten
  • Erschienen 2003
  • Pearson International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-Driven Design
Evans, Eric J.
40,84 € 68,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
UML @ Classroom
  • Hardcover
  • 220 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
UML @ Classroom
Seidl, Martina;Kappel, Gert...
9,72 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Grundkurs Datenbankentwurf
  • Hardcover
  • 428 Seiten
  • Erschienen 2016
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundkurs Datenbankentwurf
Jarosch, Helmut
14,32 € 59,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Form-Oriented Analysis
  • Hardcover
    • -
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Form-Oriented Analysis
Draheim, Dirk;Weber, Gerald;
1,65 € 117,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Principles of Concurrent and Distributed Programming
  • Hardcover
  • 384 Seiten
  • Erschienen 2005
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Principles of Concurrent and Distributed...
Ben-Ari, M.
22,55 € 68,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Data Design
  • Hardcover
  • 176 Seiten
  • Erschienen 2015
  • Bloomsbury Visual Arts
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Data Design
Mollerup, Per
10,77 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programmierung - eine Einführung in die Informatik mit Standard ML
  • Hardcover
    • -
  • Erschienen 2011
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programmierung - eine Einführung in die...
Smolka, Gert
6,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Programming Language Ada
  • Hardcover
  • 260 Seiten
  • Erschienen 2009
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Programming Language Ada
Bull, Cii Honeywell
1,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Art of Programming Embedded Systems
  • Hardcover
  • 279 Seiten
  • Erschienen 1992
  • Academic Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Art of Programming Embedded Systems
Ganssle, Jack
1,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Compiler Construction
  • Hardcover
  • 654 Seiten
  • Erschienen 2012
  • John Wiley & Sons
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Compiler Construction
Dos Reis
3,42 €
Details
frontend/listing/product-box/box-product-slider.tpl
Algorithmen und Datenstrukturen im VLSI-Design
  • Hardcover
  • 304 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithmen und Datenstrukturen im VLSI-Design
Theobald, Thorsten;Meinel, ...
3,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Theory
  • hardcover
  • 688 Seiten
  • Erschienen 1985
  • Bibliographisches Institut
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Theory
Lenz, Hanfried
6,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Thinking Research
  • Hardcover
  • 300 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Thinking Research
-
11,43 €
Details
frontend/listing/product-box/box-product-slider.tpl
System Level Esd Co-Design
  • Hardcover
  • 424 Seiten
  • Erschienen 2015
  • IEEE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
System Level Esd Co-Design
-
33,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
Domain-Driven Design with Java - A Practitioner's Guide
  • Hardcover
  • 302 Seiten
  • Erschienen 2022
  • Packt Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-Driven Design with Java - A...
Chandrasekaran, Premanand;K...
10,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Patterns (Wordware Applications Library)
  • paperback
  • 286 Seiten
  • Erschienen 2006
  • Jones and Bartlett Publishe...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Patterns (Wordware Applications Library)
Lasater, Christopher G.
6,61 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software Design (International Computer Science)
  • paperback
  • 400 Seiten
  • Erschienen 1994
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Design (International Computer Science)
Budgen, David
7,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Decision Model
  • Hardcover
  • 554 Seiten
  • Erschienen 2009
  • Taylor & Francis Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Decision Model
Halle, Barbara von;Goldberg...
7,36 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Through Verilog Hdl
  • Hardcover
  • 472 Seiten
  • Erschienen 2003
  • Wiley-IEEE Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Through Verilog Hdl
Padmanabhan, T R;Sundari, B...
36,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programming Languages: Design and Implementation
  • paperback
  • 604 Seiten
  • Erschienen 1984
  • Longman Higher Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages: Design and Implementation
Pratt, Terence W.
18,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Compiler Design: An Object-Oriented Approach Using Java®
  • paperback
  • 302 Seiten
  • Erschienen 2020
  • SoftMoore Consulting
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Compiler Design: An...
Moore, John I.
30,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
Automated and Algorithmic Debugging
  • Hardcover
  • 388 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated and Algorithmic Debugging
Fritzson, Peter A.
26,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
How to Think about Algorithms
  • Taschenbuch
  • 472 Seiten
  • Erschienen 2008
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
How to Think about Algorithms
Edmonds, Jeff
28,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
Schaum's Outline of Logic, Second Edition
  • Hardcover
  • 336 Seiten
  • Erschienen 2011
  • McGraw Hill
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Schaum's Outline of Logic, Second Edition
Nolt, John;Rohatyn, Dennis;...
16,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Handbook of Logic in Artificial Intelligence and Logic Programming
  • Hardcover
  • 534 Seiten
  • Erschienen 1993
  • Oxford Univ Pr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Logic in Artificial Intelligence...
-
134,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
7,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
Natural Deduction: A Proof-theoretical Study (Dover Books on Mathematics)
  • paperback
  • 113 Seiten
  • Erschienen 2006
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Deduction: A Proof-theoretical Study...
Prawitz, Dag
8,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
32,12 €
Details
frontend/listing/product-box/box-product-slider.tpl
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • Hardcover
  • 504 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematical Investigation of...
Troelstra, Anne S.
40,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elementary Induction on Abstract Structures
  • Taschenbuch
  • 242 Seiten
  • Erschienen 2008
  • Dover Pubn Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Induction on Abstract Structures
Moschovakis, Yiannis N
9,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • Hardcover
  • 392 Seiten
  • Erschienen 1981
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Iterated Inductive Definitions and Subsystems...
Buchholz, W.;Sieg, W.;Pohle...
22,46 €
Details
frontend/listing/product-box/box-product-slider.tpl
Data-oriented design: software engineering for limited resources and short schedules
  • paperback
  • 307 Seiten
  • Erschienen 2018
  • Richard Fabian
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Data-oriented design: software engineering for...
Fabian, Mr Richard
46,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Taligent's Guide to Designing Programs: Well-Mannered Object-Oriented Design in C++
  • paperback
  • 144 Seiten
  • Erschienen 1994
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Taligent's Guide to Designing Programs:...
Taligent
22,39 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modernes C++ Design: Generische Programmierung und Entwurfsmuster angewendet (mitp Professional)
  • paperback
  • 424 Seiten
  • Erschienen 2003
  • mitp
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modernes C++ Design: Generische Programmierung...
Vlissides, John
11,46 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logik und Logikprogrammierung (Kolleg Synchron)
  • paperback
  • 312 Seiten
  • Erschienen 2003
  • Synchron
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Logikprogrammierung (Kolleg Synchron)
Hölldobler, Steffen
19,16 €
Details