Artículos relacionados a Model Checking Software: 23rd International Symposium,...
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, ... Computer Science and General Issues) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 60,61
EUR 17,03 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,50
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Model Checking Software: 23rd International Symposium,...
Imagen del vendedor
Model Checking Software
Publicado por
Springer International Publishing Apr 2016, 2016
ISBN 10: 3319325817
ISBN 13: 9783319325811
Nuevo
Taschenbuch
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 bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies. 264 pp. Englisch. Nº de ref. del artículo: 9783319325811
Cantidad disponible: 2 disponibles
Imagen del vendedor
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Publicado por
Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319325817
ISBN 13: 9783319325811
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies. Nº de ref. del artículo: 9783319325811
Cantidad disponible: 1 disponibles
Imagen del vendedor
Model Checking Software
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319325817
ISBN 13: 9783319325811
Nuevo
Kartoniert / Broschiert
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. This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4. Nº de ref. del artículo: 118723049
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located With Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26089825-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783319325811
Cantidad disponible: 10 disponibles
Imagen de archivo
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings (Theoretical Computer Science and General Issues)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783319325811
Cantidad disponible: 2 disponibles
Imagen del vendedor
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located With Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26089825-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located With Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 26089825
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software
Publicado por
Springer International Publishing AG, 2016
ISBN 10: 3319325817
ISBN 13: 9783319325811
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Editor(s): Bosnacki, Dragan. Series: Lecture Notes in Computer Science. Num Pages: 261 pages, 75 black & white illustrations, biography. BIC Classification: UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 409. . 2016. Paperback. . . . . Nº de ref. del artículo: V9783319325811
Cantidad disponible: 15 disponibles
Imagen del vendedor
Model Checking Software : 23rd International Symposium, Spin 2016, Co-located With Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 26089825
Cantidad disponible: Más de 20 disponibles