From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday /: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday. (2019)

Record Type:: Book
Title:: From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday /: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday. (2019)
Main Title:: From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
Further Information:: Note: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.).
Editors:: Beek, Maurice H. ter
Fantechi, Alessandro
Semini, Laura
Other Names:: Gnesi, Stefania 1954- honouree.
Contents:: Software Engineering.- Formal Methods and Tools.- Requirements Engineering.- Natural Language Processing.- Software Product Lines.- Formal Verification.- Applications.
Publisher Details:: Cham, Switzerland : Springer
Publication Date:: 2019
Extent:: 1 online resource (xiii, 574 pages), illustrations (some color)
Subjects:: 005.1
Software engineering
Formal methods (Computer science)
Electronic books
Languages:: English
ISBNs:: 9783030309855
3030309851
Related ISBNs:: 9783030309848
Notes:: Note: Online resource; title from PDF title page (SpringerLink, viewed October 15, 2019).
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.
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD.DS.463820
Ingest File:: 02_606.xml