wyszukanych pozycji: 2
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
ISBN: 9783540548683 / Angielski / Miękka / 1991 / 433 str. Termin realizacji zamówienia: ok. 20 dni roboczych (dostawa w 2025) 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.
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts...
|
|
cena:
192,30 zł |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
ISBN: 9783540548348 / Angielski / Miękka / 1991 / 705 str. Termin realizacji zamówienia: ok. 20 dni roboczych (dostawa w 2025) 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.
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts...
|
|
cena:
384,63 zł |