ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017])

• Record Type: Book
• Further Information: Note: Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.).
• Editors: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend
• Contents: Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (XII, 391 pages), illustrations
• Subjects: 004.01/51; Formal methods (Computer science); Computer science -- Mathematics; Algorithms; Computer logic; Computer science; Computer simulation; Logic, Symbolic and mathematical; Programming languages (Electronic computers); Software engineering; Electronic books
• Languages: English
• ISBNs: 9783319682709; 3319682709
• Related ISBNs: 3319682695; 9783319682693
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.