Formal specification and software development / [By]Dines Bjorner and Cliff B. Jones ; In collaboration with Derek Andrews [et al...]

• Record Nr.: UNISA990001211270203316
• Autore: BJRNER, Dines
• Pubbl/distr/stampa: Englewood Cliffs : Prentice-Hall International, copyr. 1982
• Descrizione fisica: X, 501 p : ill ; 23 cm
• Collana: Prentice-Hall International series in computer science
• Altri autori (Persone): JONES, Cliff B.
• Disciplina: 001.642
• Collocazione: 001.6 SCS (3)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Centralized and decentralized economic systems : the soviet-type economy, market socialism, and capitalism / Wayne A. Leeman

• Record Nr.: UNINA990008312330403321
• Autore: Leeman, Wayne Alvin
• Pubbl/distr/stampa: Chicago : Rand McNally, 1977
• Descrizione fisica: XVIII, 377 p. ; 24 cm
• Disciplina: 342
• Locazione: DDA; SES
• Collocazione: VI F 234; N/1.0 LEE
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia