Showing
1 - 3
results of
3
for search '
Ölveczky, Peter Csaba
'
Skip to content
Toggle navigation
Previous online catalogue
GimiFind
Your Account
Log Out
Login
English
magyar
In libraries
In subscribed databases
Keyword (EDIT, Aleph OPAC)
Title
Author
Subject
ISBN/ISSN
Tag
Keyword (Primo)
Title
Author
Subject
Browse Alphabetically: By Topic
Browse Alphabetically: By Author
Browse Alphabetically: By Title
Find
Advanced
Author
Ölveczky, Peter Csaba
Showing
1 - 3
results of
3
for search '
Ölveczky, Peter Csaba
', query time: 0.07s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Author (desc)
Title
sort_title desc
1
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
by
Ölveczky
,
Peter
Csaba
Published: 2017
Call Number:
14470
Get full text
Book
Show QR Code
Save to List
Saved in:
2
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Published: 2019
“
...
Ölveczky
,
Peter
Csaba
szerk....
”
Call Number:
15279
Get full text
Book
Show QR Code
Save to List
Saved in:
3
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Published: 2017
“
...
Ölveczky
,
Peter
Csaba
(szerk.)...
”
Call Number:
13657
Get full text
Book
Show QR Code
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
Computer simulation
Software engineering
elektronikus könyv
Computer science
számítógépes szimuláció -- konferencia
Algorithms
Computer Communication Networks
Computer logic
Logic design
Mathematical logic
Programming languages (Electronic computers)
elosztott rendszerek -- számítástechnika -- tankönyv
logikai tervezés -- konferencia
matematikai logika -- konferencia
modell-ellenőrzés -- szoftvertesztelés -- konferencia
programozási nyelvek -- konferencia
szoftverfejlesztés -- konferencia
számítógépes logika -- konferencia
×
Loading...