Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Specification and Verification of Declarative Open Interaction Models Marco Montali
Libristo-code: 01656286
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2010
Many novel application scenarios and architectures in business process management or service composi... Volledige beschrijving
? points 142 b
58.57 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

CLASH ROYALE: El camino de las copas Vicente García del Castillo / Boek Gebonden (paperback)
common.buy 16.58 €
Raconti Bindi / Boek Gebonden (paperback)
common.buy 30.75 €
Guida pratica all'organizzazione del lavoro intellettuale Jean Gardy Estimé / Boek Gebonden (paperback)
common.buy 71.12 €
Polska i Rosja. Sąsiedztwo wolności i despotyzmu X-XXI w Andrzej Nowak / Boek Gebonden (harde band)
common.buy 18.51 €
TOP
Beyrouth-sur-Seine Sabyl Ghoussoub / Boek Gebonden (paperback)
common.buy 11.83 €
TOP
Твое сердце будет разбито Анна Джейн / Boek Gebonden (harde band)
common.buy 19.42 €
vite dei surrealisti Desmond Morris / Boek Gebonden (harde band)
common.buy 48.66 €
JUSTICIA CONSTITUCIONAL. Estudios BREWER-CARIAS Allan R BREWER-CARIAS / Boek Gebonden (paperback)
common.buy 40.16 €
Le carnet de Jimmy - Blanc, 96p, A5 - Comics / Kalender/agenda Agenda
common.buy 10.41 €
Disfrazado de esquimal Jesús Arroyo Ordás / Boek Gebonden (paperback)
common.buy 15.67 €
Las bases de la costura. Coser a máquina YOSHIKO MIZUNO / Boek Gebonden (paperback)
common.buy 24.68 €
Lambacher Schweizer Mathematik 8 - G9. Ausgabe Hessen / Boek Blad
common.buy 19.01 €
TOP
Harry Potter and the Philosopher's Stone (Latin) Joanne K. Rowling / Boek Gebonden (harde band)
common.buy 18.81 €
Die ländliche und landwirtschaftliche Baukunst von Holz und Brettern Marius Wölfer / Boek Gebonden (paperback)
common.buy 14.36 €
Probleme des räumlichen Gleichgewichts in der Wirtschaftswissenschaft. Walther G. Hoffmann / Boek Gebonden (paperback)
common.buy 42.48 €

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. §In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models which are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities.§The book is a revision and extension of the author s PhD thesis, which was honored with the 2009 Marco Cadoli prize, awarded by the Italian Association for Logic Programming to the most outstanding thesis focused on Computational Logic and discussed between 2007 and 2009.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Specification and Verification of Declarative Open Interaction Models
Auteur Marco Montali
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 411
EAN 9783642145377
ISBN 364214537X
Libristo-code 01656286
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 655
Afmetingen 155 x 238 x 33

Categorieën

Informatica en informatietechnologie > Digitale levensstijl en online wereld: gebruikersgidsen > Internetgidsen en online diensten > Internetzoeken
Economie, Financiën, Bedrijf en Management > Bedrijfsmanagement > Bedrijfswiskunde en -systemen
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Databanken > Informatieopslag en -naslag
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica: algemene onderwerpen
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Functional and Logic Programming Masami Hagiya / Boek Gebonden (paperback)
common.buy 61.10 €
William Morris: Acanthus (Foiled Journal) Flame Tree / Kalender/agenda Agenda
common.buy 11.02 €
Gene-Mapping Techniques and Applications Lawrence B. Schook / Boek Gebonden (harde band)
common.buy 323.36 €
Complete Lean Enterprise Beau Keyte / Boek Gebonden (harde band)
common.buy 288.85 €
Telecommunication Networks J. E. Flood / Boek Gebonden (harde band)
common.buy 51.79 €
Volleyball Matt Doeden / Boek Gebonden (paperback)
common.buy 9.70 €
pessimism of James Thomson (B. V.) in relation to his times Kenneth Hugh Byron / Boek Gebonden (harde band)
common.buy 109.26 €
Connor's War Greg Stout / Boek Gebonden (paperback)
common.buy 13.95 €
Hogwarts Library J K Rowling / Boek Gebonden (paperback)
common.buy 29.74 €
Nubian Gold Peter Lacovara / Boek Gebonden (harde band)
common.buy 51.19 €
GIS and Environmental Monitoring Stavros Kolios / Boek Gebonden (harde band)
common.buy 154.39 €
Biographie Du Clerg Contemporain: Par Un Solitaire [Abb Barbier] Hippolyte Barbier / Boek Gebonden (paperback)
common.buy 26.90 €
Security and Peace in the Middle East: Experiments with Democracy in an Islamic World: Maxwell Paper No. 4 Lieutenant Colonel Usaf David G Curdy / Boek Gebonden (paperback)
common.buy 13.95 €
Semirings and Affine Equations over Them Jonathan S. Golan / Boek Gebonden (harde band)
common.buy 102.99 €
Signs & Symbols of the World D. L. McElroy / Boek Gebonden (paperback)
common.buy 26.20 €
Loveboat, Taipei Abigail Hing Wen / Boek Gebonden (paperback)
common.buy 10.41 €
Voordelig
Evening and the Morning FOLLETT / Boek Gebonden (harde band)
common.buy 26.50 €
Our Teachers Are Dating! Vol. 1 Ohi / Boek Gebonden (paperback)
common.buy 17.80 €
My Youth Romantic Comedy Is Wrong, As I Expected, Vol. 11 (light novel) WATARU WATARI / Boek Gebonden (paperback)
common.buy 13.24 €
Bernd & Hilla Becher Jeff L. Rosenheim / Boek Gebonden (harde band)
common.buy 73.55 €
Star Wars: Tempest Runner (The High Republic) Scott / Boek Gebonden (harde band)
common.buy 18.81 €
Options Wheel Strategy Publications Freeman Publications / Boek Gebonden (paperback)
common.buy 16.38 €
Learning Marketplace, The: East Meets West In Singapore Prem Kumar / Boek Gebonden (harde band)
common.buy 107.44 €
Wordt verwacht
Cyberpsychology – The Study of Individuals, Society and Digital Technologies M Whitty / Boek binding.
common.buy 43.90 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?