Sinopsis
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
Biografía del autor
Alagar-Concordia University, Montreal, Canada
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para SPECIFICATION OF SOFTWARE SYSTEMS (Texts in Computer...
Imagen del vendedor
Specification of Software Systems (Texts in Computer Science)
Librería: Jonathan Grobe Books, Deep River, IA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Exlibrary with usual library markings. ; 422 pages. Nº de ref. del artículo: 281298
Comprar usado
EUR 16,04
Gastos de envío:
EUR 4,33
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification of Software Systems
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 39896175-75
Comprar usado
EUR 20,41
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification of Software Systems
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 39896175-75
Comprar usado
EUR 20,41
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Specification of Software Systems (Texts in Computer Science)
Librería: Goodwill, Brooklyn Park, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Stains on outside cover inside the book. Cover Case has some rubbing and edgewear. Access codes, CD's, slipcovers and other accessories may not be included. Nº de ref. del artículo: 2Y6ZRZ000QRK_ns
Comprar usado
EUR 30,96
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification of Software Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 422 1st Edition. Nº de ref. del artículo: 26467786
Comprar nuevo
EUR 32,47
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Specification of Software Systems
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 422. Nº de ref. del artículo: 7380117
Comprar nuevo
EUR 29,64
Gastos de envío:
EUR 7,41
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Specification of Software Systems (Texts in Computer Science)
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:9780387984308. Nº de ref. del artículo: 8862149
Comprar usado
EUR 22,81
Gastos de envío:
EUR 14,75
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification of Software Systems (Texts in Computer Science)
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, 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-U-012-02213
Comprar usado
EUR 25,62
Gastos de envío:
EUR 12,13
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Specification of Software Systems
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 422. Nº de ref. del artículo: 18467776
Comprar nuevo
EUR 32,72
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Specification of Software Systems (Texts in Computer Science)
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: Abebooks5046
Comprar nuevo
EUR 52,58
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles