Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.

Bjorner, D. (Editor); Jones, C. B. (Editor); Mac an Airchinnigh, M. (Editor); Neuhold, E. J. (Editor)

ISBN 10: 3540176543 ISBN 13: 9783540176541

Editore: Springer-Verlag, Berlin, Germany, 1987

Lingua: Inglese

Condizione: Usato - Molto buono Brossura

Lista dei preferiti

Venduto da SUNSET BOOKS 2, Newark, OH, U.S.A.

Venditore AbeBooks dal 31 luglio 2009

Valutazione del venditore 5 su 5 stelle

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato - Brossura

Condizione: Usato - Molto buono

Prezzo: EUR 8,82 Convertire valuta

EUR 40,25 per la spedizione da U.S.A. a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo.

Codice articolo 018757

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.

Editore

Springer-Verlag, Berlin, Germany

Data di pubblicazione

1987

Lingua

Inglese

ISBN 10

3540176543

ISBN 13

9783540176541

Rilegatura

Paperback

Edizione

1st.

Condizione

Very Good

Condizione della sovraccoperta

No Jacket

Tipo di libro

Ex-Library

Cataloghi dei venditori

Descrizione articolo

Contenuti

VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented development method for Ada software.- The stepwise development of software development graphs — Meta-programming VDM developments.- Heap storage specification and development.- VDM as a specification method for telecommunications software.- Support environments for VDM.- Development and application of a META IV compiler.- From VDM to RAISE.- Denotational engineering or from denotations to syntax.- A type model for VDM.- A formal description of object-oriented programming using VDM.- VDM proof obligations and their justification.- Mathematical structures and their morphisms in Meta-IV.- Objectives of the British Standardisation of a language to support the Vienna development method.- Use of VDM within CCITT.- A formal semantics for a DataFlow Machine — Using VDM.- to the VDM tutorial.- Specification by data types.- Data reification and program decomposition.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Thank You for looking at our books! We invite you to browse our bookstore for the many rare and antique volumes we have listed. Our listed books range the entire spectrum, with Mathematics, Physics, Nuclear Physics, Chemistry, Biochemistry, Aviation, Natural resources, Medicine,Electricity, Electronics, Philosophy, History, Genealogy, childrens books, Textbooks, Journals, and many more. Many of our rare/out-of-print volumes came from the U.S. Air Force Technical Library and are very unique. We strive to provide books to individuals around the world at competitive prices. Customers should know that 10-20% of their total order to include shipping cost goes to ABEbooks in fees and charges, especially on lower price volumes.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

SUNSET BOOKS 2
OH, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Condizioni di spedizione

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We never charge for Handling, Packing or Service, even for Media Mail.