Search Results for Formal methods (Computer science)

Skip to:Search Results

|

|

|

|

|

|

ADA Moduna dönüştürmek için tıklayınız

|

Yardım

Search Results Elektronik Kaynaklar

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

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

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

2 sonuç bulundu

Arama sonuçlarına abone ol

1

00DEFAULTTR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi

1.

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking

by

Drusinsky, Doron.

Format:

Alıntı:

Formal methods (Computer science)

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi

2.

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking

by

Drusinsky, Doron.

ScienceDirect http://www.sciencedirect.com/science/book/9780750679497

Format:

Alıntı:

Formal methods (Computer science)

1

Go to:Search Results

|

|