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 92 dari pencarian Anda melalui kata kunci: subject="Computer logic."
Hal. Awal Sebelumnya 6 7 8 9 10
cover
Formal Methods for Components and Objects
Komentar Bagikan
Bonsangue, Marcello M.de Boer, Frank S.de Roever, WillemPaul.Graf, Susanne.SpringerLink (Online service)

A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and A…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540319399
Deskripsi Fisik
VIII, 328 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Integrated Formal Methods
Komentar Bagikan
Romijn, Judi M.T.Smith, Graeme P.SpringerLink (Online service)van de Pol, Jaco C.

Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations in the Abstract or the Concrete -- Session: Components -- Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540322405
Deskripsi Fisik
XI, 407 p.online resource.
Judul Seri
-
No. Panggil
-
Hal. Awal Sebelumnya 6 7 8 9 10