rozenberg paul (32 Ergebnisse)

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: Fine. French édition - Livre issu de déstockage JAMAIS LU présentant des marques de manipulation sur la couverture et/ou les pourtours mais demeurant en très bon état d'ensemble.Expédition sous blister dans une enveloppe matelassée depuis la France. 13x18x1cm. 2003. Broché. 112 pages. Fine.

Zustand: Neuf.

gebundene Ausgabe. Zustand: Gut. 287 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In FRANZÖSISCHER Sprache. Sprache: Französisch Gewicht in Gramm: 520.

Zustand: AS NEW. Etat de NEUF / AS NEW condition 9782810701742 9782810701742 1057B 1.

Zustand: Gut. Auflage: 1989. 728 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1013 23,6 x 16,5 x 2,0 cm, Taschenbuch.

Zustand: Fair. Etat correct. 1973. Fair.

Zustand: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.

Larousse université, 1973. In-8 broché de 287 pages. Couverture légèrement abimée sur le haut du plat sinon Bon état.

Zustand: OTTIMO USATO. Saggi ITALIANO Copertina flessibile con lievissimi danni da scaffale nei tagli delle pagine. Nessuna pagina mancante, o danneggiata, piegata o strappata, nessuna sottolineatura/evidenziazione di testo, nè scritte ai margini. Il volume , la prima edizione italiana dell'opera (1969), con traduzione di Clara Lusignoli, si inserisce nella collana saggistica della Einaudi, con prefazione a cura dell' autore stesso, "Vivere in maggio" analizza l'insieme dei movimenti di rivolta verificatisi in Francia nel maggio-giugno del 1968. Numero Pagine 181.

paperback. Zustand: Very Good. Il ''maggio francese'': un nodo di forze storiche in movimento. Pref. di Jean Chesneaux . 8vo. pp. 188. . Molto buono (Very Good). . Prima edizione italiana (First Italian Edition). . Prima edizione italiana (First Italian Edition). Book.

Zustand: BUONO USATO. Saggi ITALIANO N.449 della collana, prefazione di Jean Chesneaux, traduzione di Clara Lusignoli, timbro Einaudi s.scelta al frontespizio, brossura editoriale flessibile, sovraccoperta illustrata, ingiallita, scolorita, baffi con biro nera, strappi al piede ed alla cima, pagine ingiallite ai bordi causa tempo, odore di chiuso. Numero pagine 181.

Couverture souple. Zustand: bon. RO20272269: 1990. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Quelques rousseurs. 251 PAGES - nombreuses illustrations noir/blanc, dans et hors texte. . . . Classification Dewey : 720-Architecture.

Taschenbuch. Zustand: Gut. 808 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.

[9345].

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. pp. 728 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Taschenbuch. Zustand: Neu. Current Trends in Concurrency | Overviews and Tutorials | Jacobus W. De Bakker (u. a.) | Taschenbuch | xiv | Englisch | 1986 | Springer | EAN 9783540164883 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 | Jacobus W. De Bakker (u. a.) | Taschenbuch | x | Englisch | 1989 | Springer | EAN 9783540510802 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Stepwise Refinement of Distributed Systems | Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings | Jaco W. De Bakker (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1990 | Springer | EAN 9783540525592 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

Zustand: BUONO USATO. I ED. Saggi ITALIANO Legatura editoriale, copertina flessibile, in cartoncino, sovraccoperta plastificata, con alette ed illustrazione in cornice; usura da scaffale, cima con strappi estesi al bordo alto del piatto posteriore. Pagine in buone condizioni, leggere bruniture ai tagli. Prefazione di Jean Chesneaux. Vol 449 della collana "Saggi". Prima edizione italiana. Numero Pagine 181.

Couverture souple. Zustand: Très bon. Pas de jaquette. Editions La Bibliothèque, 1997 coll. Les portraits - In-12° oblong broché, couv. cart. à rabats, 203 pp. + table, très bon état.

Torino, Einaudi, 1969, 8vo brossura con copertina illustrata a colori, pp. XX-181.