Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 13 Treffer.


Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

Verlag: Springer Berlin, 411 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 16.07.2010

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Produktform: Buch / Einband - flex.(Paperback)


Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

Verlag: Springer Berlin, Auflage 1, 411 Seiten

Erscheinungsdatum: 30.07.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Process Mining Workshops

ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 592 Seiten

Erscheinungsdatum: 26.03.2023

42,79 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 207 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 13.09.2019

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Rules and Reasoning

Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 207 Seiten

Erscheinungsdatum: 14.09.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management Forum

BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 245 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.08.2018

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management

16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 514 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 31.08.2018

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management

16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 514 Seiten

Erscheinungsdatum: 11.08.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Business Process Management Forum

BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 245 Seiten

Erscheinungsdatum: 12.08.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops

IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations and Doctoral Consortium Track, Bozen-Bolzano, Italy, October 4–7, 2022, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 378 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 23.02.2023

69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel