Roberto bruni (38 Ergebnisse)

Paperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

Zustand: New.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Paperback. Zustand: Brand New. 305 pages. Spanish language. 8.00x5.50x1.00 inches. In Stock.

Paperback. Zustand: Brand New. 243 pages. Spanish language. 8.25x5.50x0.75 inches. In Stock.

Zustand: NEW.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. Idioma/Language: Español. Perspectivas nacionales e internacionales sobre una opositora irreductible *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.

Paperback. Zustand: Good. 1st Edition. 273 p; many Ill; many Tab; many Fig.

Paperback. Zustand: Brand New. 76 pages. Italian language. 7.87x5.51x0.18 inches. In Stock.

Zustand: New. pp. 395.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Hardcover. Zustand: As New. 1. Auflage. Like new. Immediately dispatched from Germany.

Paperback. Zustand: Brand New. 1st edition. 339 pages. 9.30x6.10x0.80 inches. In Stock.

Paperback. Zustand: Brand New. 363 pages. 9.25x6.00x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.…

Zustand: BUONO. Firenze, Olschki Ed. cm.18x25,5, pp.358 con 16 tavv. ft., brossura Collana Biblioteca di bibliografia italiana, 124.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.…

Zustand: DISCRETO USATO. L'Esame da Avvocato ITALIANO Manuale per esami da avvocato, brossura filo refe, copertina lievemente sgualciture da contatto e segnata da attrito alle estremitÃ, con patinato usurato da sfregamento e manipolazione, pigmento ingiallito e sbiadito, ombrato da aloni di polvere e umido da scaffale, fogli ben tenuti, velo di pulviscolo con fioriture ai tagli, testo tracciato da evidenziatore blu e annotazioni con biro al margine. N. pag. 354.…

Paperback. Zustand: Brand New. 2012 edition. 241 pages. 9.00x6.00x0.50 inches. In Stock.

Hardcover. Zustand: Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Trustworthy Global Computing | Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers | Ugo Montanari (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540753339 | 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. Models of Computation | Roberto Bruni (u. a.) | Taschenbuch | xxii | Englisch | 2018 | Springer | EAN 9783319826899 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.…