Search Results for spécification.

20 sonuç bulundu

1 2

000000000000DEFAULT_TR

Logics of Specification Languages

Yazar

Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-74107-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Specification of Software Systems

Yazar

Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-277-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

From Specification to Embedded Systems Application

Yazar

Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11523277

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Specification and Verification of Multi-agent Systems

Yazar

Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-6984-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

Yazar

Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54624-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Foundations of Algebraic Specification and Formal Software Development

Yazar

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-17336-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

Yazar

Storm, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2381-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

Yazar

Montali, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-14538-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Yazar

Radetzki, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-9714-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Yazar

Palsberg, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-04164-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

Yazar

Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-70569-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

Yazar

Villar, Eugenio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8297-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}