Showing
1 - 1
results of
1
for search '
Boniol, Frederic.
'
Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Author
Boniol, Frederic.
Showing
1 - 1
results of
1
for search '
Boniol, Frederic.
', query time: 1.45s
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
List
Grid
1
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6,...
Published 2014
Other Authors:
';
“
...
Boniol
,
Frederic
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Computation by Abstract Devices
Computer logic
Computer simulation
Computers
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Simulation and Modeling
×
Loading...
