| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910693276003321 |
|
|
Autore |
Williams John R |
|
|
Titolo |
Private frequency coordination in the common carrier point-to-point microwave service [[electronic resource] ] : a review of procedures and an empirical assessment of its effectiveness in promoting economically efficient use of the spectrum / / John R. Williams |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C. : , : Office of Plans and Policy, Federal Communications Commission, , [1986] |
|
|
|
|
|
|
|
|
|
Collana |
|
OPP working paper series ; ; 21 |
|
|
|
|
|
|
Soggetti |
|
Microwave communication systems - United States |
Radio frequency allocation - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Mar. 11, 2005). |
"September 1986." |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996630870203316 |
|
|
Autore |
Kosmatov Nikolai |
|
|
Titolo |
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings / / edited by Nikolai Kosmatov, Laura Kovács |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (336 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15234 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice. |
|
|
|
|
|
|
|
| |