- 5 Resultados
precio mínimo: € 44,14, precio máximo: € 166,26, precio promedio: € 73,11
1
VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prehn, Soren Toetenel, Hans
Pedir
por booklooker.de
€ 48,45
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Prehn, Soren Toetenel, Hans:

VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Primera edición

1991, ISBN: 9783540548683

Pasta blanda

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The proceedings of the fo… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
cerrar (X)
2
Pedir
por Biblio.co.uk
$ 67,63
(aprox. € 62,56)
Envío: € 4,701
Pedir
Detalles del proveedor
Enlace patrocinado

Soren Prehn:

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 2: Tutorials - libro nuevo

ISBN: 9783540548683

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Net… Más…

Gastos de envío: EUR 4.70 Ria Christie Collections
cerrar (X)
3
Pedir
por Biblio.co.uk
$ 179,74
(aprox. € 166,26)
Envío: € 19,421
Pedir
Detalles del proveedor
Enlace patrocinado
Soren Prehn (Editor), Hans Toetenel (Editor):
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Tutorials (Lecture Notes in Computer Science) - Pasta blanda

1991

ISBN: 9783540548683

Springer, 1991-11-15. 1991. Paperback. Used:Good., Springer, 1991-11-15, 0

Gastos de envío: EUR 19.42 Ergodebooks
cerrar (X)
4
VDM '91. Formal Software Development Methods. - Prehn, Toetenel
Pedir
por buchfreund.de
€ 44,14
Envío: € 5,901
Pedir
Detalles del proveedor
Enlace patrocinado
Prehn, Toetenel:
VDM '91. Formal Software Development Methods. - Pasta blanda

1991, ISBN: 9783540548683

444 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek Versand D: 5,90 EUR BUCH, [KW:BUCH], [PU:Springer Berlin Heidelberg,]

Gastos de envío:Versandkosten innerhalb der BRD. (EUR 5.90) Mosakowski GbR, 65428 Rüsselsheim am Main
cerrar (X)
5
VDM '91. Formal Software Development Methods. - Prehn and Toetenel
Pedir
por Achtung-Buecher.de
€ 44,14
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Prehn and Toetenel:
VDM '91. Formal Software Development Methods. - Pasta blanda

1991, ISBN: 3540548688

Taschenbuch 444 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek, [KW:BUCH] 3, [PU:Springer Berlin Heidelberg,]

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Notes in Computer Science, 552, Band 2)
Autor:
Título:
ISBN:

3540548688


The proceedings of the fourth Vienna Development MethodSymposium, VDM '91, are published here in two volumes.Previous VDM symposia were held in 1987 (LNCS 252), 1988(LNCS 328), and 1990 (LNCS 428).The VDM symposia have been organized by the VDM Europe,formed in 1985 as an advisory board sponsored by theCommission of the European Communities. The VDM Europeworking group consisted of reasearchers, software engineers,and programmers, all interested in prommoting the industrialusage of formal methods for software development. The fourthVDM symposium presented not only VDM but also a large numberof other methods for formal software development.Volume 1 contains the conference contributions. It has fourparts: contributions of invited speakers, papers, projectreports, and tools demonstration abstracts. The emphasis ison methods and calculi for development, verification andverification tools support, experiences from doingdevelopments, and the associated theoretical problems.Volume2 contains four introductory tutorials (on LARCH,Refinement Calculus, VDM, and RAISE) and four advancedtutorials (on ABEL, PROSPECTRA, THE B Method, and TheStack). They present a comprehensive account of the state oftheart.

Detalles del libro - VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Notes in Computer Science, 552, Band 2)


EAN (ISBN-13): 9783540548683
ISBN (ISBN-10): 3540548688
Tapa blanda
Año de publicación: 1991
Editorial: Springer
448 Páginas
Peso: 0,672 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-04-04T13:05:59-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-04-03T01:39:31-06:00 (Mexico City)
ISBN/EAN: 3540548688

ISBN - escritura alterna:
3-540-54868-8, 978-3-540-54868-3
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: vdm, han sor, much hans, prehn, hans soren
Título del libro: 1991 band, netherlands, formal methods, formal software development, vdm, october, noor, noordwijk, the tutorial, looking for europe, ufo symposium, international, proceedings

Datos del la editorial

Autor: Soren Prehn; Hans Toetenel
Título: Lecture Notes in Computer Science; VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Volume 2: Tutorials
Editorial: Springer; Springer Berlin
433 Páginas
Año de publicación: 1991-10-14
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 433 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Bedeutung von Programmen; Formale Methoden; Programm Verification; Programm Verifikation; Reasoning About Programs; Software Development; Software Entwicklung; Software Specification; Software Spezifikation; Vienna Development Method; formal method; verification; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Theoretische Informatik; EA

A tutorial on Larch and LCL, a Larch/C interface language.- A tutorial on the refinement calculus.- Tutorial lecture notes on the Irish School of the VDM.- The RAISE specification language a tutorial.- Formal Development with ABEL.- The PROSPECTRA methodology and system: uniform transformational (meta-) development.- The B-method.- Mathematical methods for digital systems development.
< para archivar...