Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bowen, Jonathan P. (Editor ), Liu, Zhiming. (Editor ), Zhang, Zili. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10215
Materias:
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer system failures.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Logics and Meanings of Programs.
System Performance and Evaluation.
LEADER 02094nam a22004335i 4500
001 000282793
005 20210806134959.0
007 cr nn 008mamaa
008 170405s2017 gw | s |||| 0|eng d
020 |a 9783319568416 
024 7 |a 10.1007/978-3-319-56841-6  |2 doi 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
245 1 0 |a Engineering Trustworthy Software Systems :  |b Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /  |c edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang. 
250 |a 1st ed. 2017. 
260 # # |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XV, 259 p. 64 illus. :  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Programming and Software Engineering ;  |v 10215 
505 0 |a Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 
650 0 |a Software engineering. 
650 0 |a Computer programming. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computers. 
650 0 |a Computer logic. 
650 0 |a Computer system failures. 
650 1 4 |a Software Engineering. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a The Computing Profession. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a System Performance and Evaluation. 
700 1 |a Bowen, Jonathan P.  |e editor.  |0 (orcid)0000-0002-8748-6140  |1 https://orcid.org/0000-0002-8748-6140 
700 1 |a Liu, Zhiming.  |e editor.  |0 (orcid)0000-0001-9771-3071  |1 https://orcid.org/0000-0001-9771-3071 
700 1 |a Zhang, Zili.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
900 |a Libro descargado a ALEPH en bloque (proveniente de proveedor) 

Ejemplares similares