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=Orejas, Fernando.
cover
Recent Trends in Algebraic Development Techniques
Komentar Bagikan
Fiadeiro, José Luiz.Mosses, Peter.Orejas, Fernando.

Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…

Edisi
1st ed.
ISBN/ISSN
9783540319597
Deskripsi Fisik
VIII, 280 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Formal Methods in Software and Systems Modeling
Komentar Bagikan
Kreowski, HansJörg.Montanari, Ugo.Orejas, Fernando.Rozenberg, Grzegorz.SpringerLink (Online service)Taentzer, Gabriele.

Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph…

Edisi
1st ed. 2005.
ISBN/ISSN
9783540318477
Deskripsi Fisik
XXVIII, 420 p.online resource.
Judul Seri
-
No. Panggil
-