Formal specification level : concepts, methods, and algorithms /: concepts, methods, and algorithms. ([2015])

• Record Type: Book
• Further Information: Note: Mathias Soeken, Rofl Drechsler.
• Authors: Soeken, Mathias; Drechsler, Rolf
• Contents: Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource, illustrations
• Subjects: 006.35; Engineering; Natural language processing (Computer science); Embedded computer systems; COMPUTERS -- General; Embedded computer systems; Natural language processing (Computer science); Engineering; Circuits and Systems; Processor Architectures; Computers -- Systems Architecture -- General; Computer architecture & logic design; Systems engineering; Computer science; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319086996; 3319086995; 3319086987; 9783319086989
• Related ISBNs: 9783319086989
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (EBSCO, viewed November 20, 2014).
• 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.