VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2946912]

• Literatura piękna

[1852311]

więcej...

Kategorie szczegółowe BISAC

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee

Name: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Brand: Springer
Price: 200.77 PLN
Availability: InStock

ISBN-13: 9783540548683 / Angielski / Miękka / 1991 / 433 str.

Soren Prehn; Hans Toetenel;VDM-Europe

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee

ISBN-13: 9783540548683 / Angielski / Miękka / 1991 / 433 str.

Soren Prehn; Hans Toetenel;VDM-Europe

cena 200,77
(netto: 191,21 VAT: 5%)

Najniższa cena z 30 dni: 192,74

Termin realizacji zamówienia:
ok. 22 dni roboczych
Dostawa w 2026 r.

Darmowa dostawa!

The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Software Development & Engineering - General
Computers > Logic Design
Computers > Programming - General

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783540548683

Rok wydania:

1991

Wydanie:

1991

Numer serii:

000013115

Ilość stron:

433

Waga:

0.62 kg

Wymiary:

23.39 x 15.6 x 2.31

Oprawa:

Miękka

Wolumenów:

Dodatkowe informacje:

Bibliografia
Wydanie ilustrowane

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.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa