Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Specification and Verification of Declarative Open Interaction Models

Name: Specification and Verification of Declarative Open Interaction Models
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656286
Price: 60.49 EUR
Availability: InStock
Author: Marco Montali
ISBN: 9783642145377

A Logic-Based Approach

Marco Montali

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656286

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2010

Many novel application scenarios and architectures in business process management or service composi... Vollständige Beschreibung

Libristo-Code: 01656286

148 b

60.49 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Polska i Rosja. Sąsiedztwo wolności i despotyzmu X-XXI w Andrzej Nowak

Hardcover

19.39 €

Beyrouth-sur-Seine Sabyl Ghoussoub

Broschur

12.69 €

Raconti Bindi

Broschur

32.09 €

Твое сердце будет разбито Анна Джейн

Hardcover

19.19 €

Probleme des räumlichen Gleichgewichts in der Wirtschaftswissenschaft. Walther G. Hoffmann

Broschur

34.90 €

vite dei surrealisti Desmond Morris

Hardcover

50.79 €

JUSTICIA CONSTITUCIONAL. Estudios BREWER-CARIAS Allan R BREWER-CARIAS

Broschur

41.69 €

Le carnet de Jimmy - Blanc, 96p, A5 - Comics

Terminbuch

11.19 €

Las bases de la costura. Coser a máquina YOSHIKO MIZUNO

Broschur

25.59 €

Lambacher Schweizer Mathematik 8 - G9. Ausgabe Hessen

Blatt

22.19 €

Harry Potter and the Philosopher's Stone (Latin) Joanne K. Rowling

Hardcover

19.99 €

Die ländliche und landwirtschaftliche Baukunst von Holz und Brettern Marius Wölfer

Broschur

15.90 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Specification and Verification of Declarative Open Interaction Models

Autor Marco Montali

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 411

EAN 9783642145377

ISBN 364214537X

Libristo-Code 01656286

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 655

Abmessungen 155 x 238 x 33

Kategorie

EDV und Informationstechnologie > Computing & IT: Benutzerhandbücher > Internet Guides und Onlinedienste > Internetrecherche, Suchmaschinen

Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management > Betriebswirtschaft und Management > Wirtschaftsmathematik und -informatik, IT-Management

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Datenbanken > Informationsrückgewinnung, Information Retrieval

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert