Search Results for Machines.

2 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00DEFAULTTR

Yazdır

1.

A Rigorous Semantics for BPMN 2.0 Process Diagrams için kapak resmi

A Rigorous Semantics for BPMN 2.0 Process Diagrams

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Yazar

Kossak, Felix. author.

http://dx.doi.org/10.1007/978-3-319-09931-6

Format:

Electronic Resources

Alıntı:

, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process

2.

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings için kapak resmi

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

Yazar

Gaaloul, Khaled. editor.

http://dx.doi.org/10.1007/978-3-319-19237-6

Format:

Electronic Resources

Alıntı:

-- Applying Predicate Abstraction to Abstract State Machines -- A Workaround Design System for Anticipating

Tümünü Seç

1

2 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2