Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures: 10215 (Programming and Software Engineering) - Tapa blanda

9783319568409: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures: 10215 (Programming and Software Engineering)

Tapa blanda

ISBN 10: 331956840X ISBN 13: 9783319568409

Editorial: Springer, 2017

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 35,81

13 Nuevo

De EUR 52,59

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.

The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Acerca del autor

Editors: Jonathan P. Bowen, London Southbank University, UK; Zhiming Liu, Southwest University, Chongqing, China; Zili Zhang, Southwest University, Chongqing, China

De la contraportada

The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2017
Idioma: Ingl�s
ISBN 10: 331956840X
ISBN 13: 9783319568409
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 276
Editor: Bowen Jonathan P., Liu Zhiming, Zhang Zili
Contacto del fabricante: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Alemania

Comprar usado

Zustand: Hervorragend | Sprache...

Ver este art�culo

EUR 35,81

Convertir moneda

EUR 105,00 gastos de env�o desde Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 52,59

Convertir moneda

EUR 3,42 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Engineering Trustworthy Software Systems: Second Internation...

Imagen de archivo

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

Publicado por Springer, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020100337

Contactar al vendedor

Comprar nuevo

EUR 52,59

Convertir moneda

Gastos de env�o: EUR 3,42

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Engineering Trustworthy Software Systems (Paperback)

Jonathan P. Bowen

Publicado por Springer International Publishing AG, Cham, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Paperback

Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: new. Paperback. This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), 2016, Chongqing, China, these contributions, distilled from six courses and two seminars, overview leading-edge research in methods and tools for computer system engineering. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de ref. del art�culo: 9783319568409

Contactar al vendedor

Comprar nuevo

EUR 68,88

Convertir moneda

Gastos de env�o: GRATIS

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783319568409_new

Contactar al vendedor

Comprar nuevo

EUR 57,86

Convertir moneda

Gastos de env�o: EUR 13,70

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 26376470354

Contactar al vendedor

Comprar nuevo

EUR 69,88

Convertir moneda

Gastos de env�o: EUR 3,42

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen de archivo

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

Bowen, Jonathan P.

Publicado por Springer 2017-04, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783319568409

Contactar al vendedor

Comprar nuevo

EUR 56,16

Convertir moneda

Gastos de env�o: EUR 17,71

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Publicado por Springer International Publishing Apr 2017, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a record of some of the lectures and seminars deliveredat the Second International School on Engineering Trustworthy Software Systems(SETSS 2016), held in March/April 2016 at Southwest University inChongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements.The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practiceof methods and tools for the design and programming of trustworthysoftware systems. 276 pp. Englisch. N� de ref. del art�culo: 9783319568409

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. Print on Demand. N� de ref. del art�culo: 369607821

Contactar al vendedor

Comprar nuevo

EUR 71,03

Convertir moneda

Gastos de env�o: EUR 7,43

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. PRINT ON DEMAND. N� de ref. del art�culo: 18376470360

Contactar al vendedor

Comprar nuevo

EUR 73,13

Convertir moneda

Gastos de env�o: EUR 9,95

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Engineering Trustworthy Software Systems

Bowen, Jonathan P.|Liu, Zhiming|Zhang, Zili

Publicado por Springer International Publishing, 2017

ISBN 10: 331956840X ISBN 13: 9783319568409

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers the state of the art of software engineering methods and technologyProvides an overview of leading-edge research in methods and tools for use in computer system engineeringA detailed prefac. N� de ref. del art�culo: 146248783

Contactar al vendedor