Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Theoretical Computer Science and General Issues ; 11247 | SpringerLink BücherPublisher: Cham : Springer International Publishing, 2018Description: Online-Ressource (XIV, 530 p. 363 illus., 250 illus. in color, online resource)ISBN:- 9783030034276
- Electronic data processing
- Information theory
- Computer network architectures
- Computer industry
- Programming languages (Electronic computers)
- Computer organization
- Software Engineering
- Computer science
- Artificial intelligence
- Computers
- Computer engineering
- Computer networks
- Compilers (Computer programs)
- Professions
- Software engineering
- 005.1
- QA76.758
No physical items for this record
Reproduktion. (Springer eBook Collection. Computer Science)