Gösterilen 1 - 20 sonuçlar arası kayıtlar. 162 sonuç. Aranan kelime '"Logics and Meanings of Programs"', Sorgu süresi: 0.48s Sonuçları Daraltın
1
Model-Based Testing of Reactive Systems
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
2
Hardware and Software: Verification and Testing
Yazar: Strichman, Ofer, Tzoref-Brill, Rachel
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
3
Unconventional Computation and Natural Computation
Yazar: Patitz, Matthew J., Stannett, Mike
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
4
Logic Based Program Synthesis and Transformation
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
5
Abstraction, Reformulation and Approximation
Yazar: Zucker, Jean-Daniel, Saitta, Lorenza
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
6
Computer Aided Verification
Yazar: Chockler, Hana, Weissenbacher, Georg
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
7
Concurrency, Graphs and Models
Yazar: Degano, Pierpaolo, Nicola, Rocco de, Meseguer, José
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
8
Unconventional Computation and Natural Computation
Yazar: Stepney, Susan, Verlan, Sergey
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
9
Advances in Computer Science - ASIAN 2007. Computer and Network Security
Yazar: Cervesato, Iliano
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
10
Hardware and Software: Verification and Testing
Yazar: Yorav, Karen
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
11
Model-Based Safety and Assessment
Yazar: Bozzano, Marco, Papadopoulos, Yiannis
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
12
Dependable Software Engineering. Theories, Tools, and Applications
Yazar: Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
13
Static Analysis
Yazar: Ranzato, Francesco
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
14
Integrated Formal Methods
Yazar: Davies, Jim, Gibbons, Jeremy
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
15
Quantitative Evaluation of Systems
Yazar: McIver, Annabelle, Horvath, Andras
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
16
Formal Modeling and Analysis of Timed Systems
Yazar: Raskin, Jean-Francois, Thiagarajan, P.S.
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
17
Types for Proofs and Programs
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
18
Formal Modeling and Analysis of Timed Systems
Yazar: Pettersson, Paul, Yi, Wang
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
19
Refinement
Yazar: Derrick, John, Boiten, Eerke
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
20
Abstract State Machines, B and Z
Baskı/Yayın Bilgisi 2020
Konular: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Tam Metin Erişim
Favorilerime ekle
Kaydedildi:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder — Aramayı sakla