Indonesia OneSearch
Gravitasi
  • Cari
  • PZ: A Z-based Formalism for Mo...
  • Lokasi
Cover Image

PZ: A Z-based Formalism for Modeling Probabilistic Behavior

Tersimpan di:
Main Author: Hassan Haghighi
Format: Article
Bahasa: eng
Terbitan: , 2010
Subjects:
formal specification
formal program development
probabilistic programs
CZ set theory
type theory
Online Access: https://zenodo.org/record/1056098
  • Lokasi
  • Deskripsi
  • Daftar Isi
  • Preview
  • Tampilan Petugas

Internet

https://zenodo.org/record/1056098

Lihat Juga

  • Developing a Collaborative First Nations Storyteller-in-Residence Program
    oleh: Olsen, Anne, et al.
    Terbitan: (2012)
  • Acesso à leitura e remição de pena no Brasil: uma análise crítica visando a agenda 2030 da ONU/Access to reading and redemption in Brazil: a critical analysis aimed at the UN 2030 agenda
    oleh: Silva Cinque, Yara Maria da, et al.
    Terbitan: (2019)
  • Assessing the effectiveness of a resource-sharing service: the user view
    oleh: Mangiaracina, Silvana, et al.
    Terbitan: (2013)
  • A Welcome Abuse : Notes on Finding Community Through the Battered Book
    oleh: Belcham, Andrea
    Terbitan: (2006)
  • From library to classrooms: building learning and knowledge communities from the information services
    oleh: Martínez-Musiño, Celso, et al.
    Terbitan: (2010)
© 2025 Perpustakaan Nasional Republik Indonesia
Loading...