| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/POP3PP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 560 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Paul Mukherjee
This example is written by Paul Mukherjee and it is used in the VDM++ book John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef. Validated Designs for Object-oriented Systems, Springer, New York. 2005, ISBN 1-85233-881-4. The concurrent system in question is a server for the POP3 protocol. This is a protocol supported by all major email c lients to fetch email messages from the email server. Language Version: classic Entry point : new POP3Test().Test1() Entry point : new POP3Test().Test2() ¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28