Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering): 4949 - Tapa blanda
Sinopsis
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g. precision, clarity, provability) with the advantages of testing (e.g. scalability, generality, applicability).
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Formal Methods and Testing: An Outcome of the FORTEST...
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Nº de ref. del artículo: 141216085
Comprar usado
EUR 14,47
Gastos de envío:
EUR 6,07
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-C-081-00891
Comprar usado
EUR 35,91
Gastos de envío:
EUR 12,10
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
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: ABLIING23Mar3113020177129
Comprar nuevo
EUR 53,24
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-244532
Comprar nuevo
EUR 70,90
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
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: ria9783540789161_new
Comprar nuevo
EUR 57,56
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
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-9783540789161
Comprar nuevo
EUR 56,02
Gastos de envío:
EUR 17,62
De Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Formal Methods and Testing
Publicado por
Springer Berlin Heidelberg Apr 2008, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
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 book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability). 388 pp. Englisch. Nº de ref. del artículo: 9783540789161
Comprar nuevo
EUR 53,49
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science, 4949)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHAK244532
Comprar nuevo
EUR 78,86
Gastos de envío:
GRATIS
De Australia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods and Testing: An Outcome of the FORTEST Network: Revised Selected Papers
Publicado por
Springer-Verlag New York Inc, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 1st edition. 367 pages. 9.25x6.00x0.75 inches. In Stock. Nº de ref. del artículo: x-3540789162
Comprar nuevo
EUR 81,08
Gastos de envío:
EUR 14,22
De Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Methods and Testing
Publicado por
Springer Berlin Heidelberg, 2008
ISBN 10: 3540789162
ISBN 13: 9783540789161
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) meth. Nº de ref. del artículo: 4901075
Comprar nuevo
EUR 48,37
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles