Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: author="Zavattaro, Gianluigi."
cover
Formal Techniques for Computer Systems and Business Processes
Komentar Bagikan
Bravetti, Mario.Kloul, Leila.SpringerLink (Online service)Zavattaro, Gianluigi.

Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Est…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540319030
Deskripsi Fisik
XIII, 349 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Formal Methods for Open Object-Based Distributed Systems
Komentar Bagikan
SpringerLink (Online service)Steffen, Martin.Zavattaro, Gianluigi.

Invited Talk -- Pattern Matching over a Dynamic Network of Tuple Spaces -- Models and Calculi -- A Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML Models -- An Extended Type System for OCL Supporting Templates and Transformations -- A Se…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540315568
Deskripsi Fisik
X, 326 p.online resource.
Judul Seri
-
No. Panggil
-