logo
mediatypes Bücher

Program Specification – Buch gebraucht, antiquarisch & neu kaufen



Tagen
 
637 Treffer in Bücher
Gebrauchtware  gebraucht Neuware  Neuware

neues Buch Program Specification

neues Buch Program Specification

J. Staunstrup


Springer Berlin Heidelberg

, 01.04.1982, Taschenbuch
ISBN: 3540114904
Neuware
93,08 €
versandkostenfrei
auf Ihrem
wird gespeichert …

gebrauchtes Buch Agafonov V.N. Program Specification: Conceptual Means and Their Organization. I

1990
Zustand: leichte Gebrauchsspuren

neues Buch Concrete Abstractions

Wolfgang Schreiner


Springer Verlag GmbH

, Taschenbuch
ISBN: 9783031249365
Neuware
58,84 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Computational Logic

Berger, Ulrich Schwichtenberg, Helmut


Springer Berlin Heidelberg

, 2012, Kartoniert / Broschiert
ISBN: 9783642636707
Neuware
135,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. A survey and classification of some program transformation approaches and techniques

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Object-oriented subsystem specification

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. On the use of composition in transformational programming

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Rigorous derivation of a sophisticated algorithm: Smoothsort

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Specifications and transformations: When does the work really get done?

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Transformational design: an annotated example

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Deriving sequential and parallel programs from pure LISP specifications

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Compile time garbage collection or How to transform programs in an assignment-free language into code with assigments

neues Buch Integrated Model of Distributed Systems

Wiktor B. Daszczuk


Springer International Publishing

, 2019, Gebunden
ISBN: 9783030128340
Neuware
91,95 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Stepwise Refinement of Distributed Systems

Jaco W. De Bakker


Springer Berlin Heidelberg

, 25.04.1990, Taschenbuch
ISBN: 3540525599
Neuware
139,09 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Stepwise Refinement of Distributed Systems

Grzegorz Rozenberg


Springer

, 25.04.1990, Taschenbuch
ISBN: 3540525599
Neuware
106,98 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Concrete Abstractions

Wolfgang Schreiner


Springer, Berlin Springer International Publishing Springer

, 2024, Kartoniert / Broschiert
ISBN: 9783031249365
Neuware
51,45 €
versandkostenfrei
auf Ihrem
wird gespeichert …

gebrauchtes Buch TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Formal specification on large-scale software Objectives, design decisions and experiences in a concrete software project

neues Buch Logic Program Synthesis and Transformation

Maurizio Proietti


Springer

, 06.03.1996, Taschenbuch
ISBN: 3540609393
Neuware
55,73 €
versandkostenfrei
auf Ihrem
wird gespeichert …

neues Buch Programmiersprachen

K. Alber


Springer, Springer

, 01.03.1978, Taschenbuch
ISBN: 3540086803
Neuware
54,99 €
versandkostenfrei
auf Ihrem
wird gespeichert …