|
|
|
|
| LEADER |
01705naaaa2200421uu 4500 |
| 001 |
27700 |
| 005 |
20181101 |
| 020 |
|
|
|a 978-3-319-89963-3
|
| 020 |
|
|
|a 9783319899633
|
| 024 |
7 |
|
|a 10.1007/978-3-319-89963-3
|c doi
|
| 041 |
0 |
|
|h English
|
| 042 |
|
|
|a dc
|
| 100 |
1 |
|
|a Beyer, Dirk
|e edt
|
| 856 |
|
|
|z Get fulltext
|u http://library.oapen.org/handle/20.500.12657/27700
|
| 700 |
1 |
|
|a Huisman, Marieke
|e edt
|
| 700 |
1 |
|
|a Beyer, Dirk
|e oth
|
| 700 |
1 |
|
|a Huisman, Marieke
|e oth
|
| 245 |
1 |
0 |
|a Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
|
| 260 |
|
|
|a Cham
|b Springer Nature
|c 2018
|
| 506 |
0 |
|
|a Open Access
|2 star
|f Unrestricted online access
|
| 520 |
|
|
|a computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
|
| 540 |
|
|
|a Creative Commons
|
| 546 |
|
|
|a English
|
| 650 |
|
7 |
|a Computer science
|2 bicssc
|
| 653 |
|
|
|a computer architecture
|
| 653 |
|
|
|a computer software selection and evaluation
|
| 653 |
|
|
|a formal logic
|
| 653 |
|
|
|a formal methods
|
| 653 |
|
|
|a model checker
|
| 653 |
|
|
|a model checking
|
| 653 |
|
|
|a multi core processors
|
| 653 |
|
|
|a program compilers
|
| 653 |
|
|
|a programming languages
|
| 653 |
|
|
|a semantics
|
| 653 |
|
|
|a software engineering
|
| 653 |
|
|
|a specifications
|
| 653 |
|
|
|a state space
|
| 653 |
|
|
|a verification
|
