LEADER 01140nam a2200313 i 4500 001 991000901659707536 005 20020507175526.0 008 960507s1990 uk ||| | eng 020 $a052137202X 035 $ab10773289-39ule_inst 035 $aLE01304059$9ExL 040 $aDip.to Matematica$beng 082 0 $a001.6425 084 $aAMS 68N05 084 $aAMS 68N25 100 1 $aHarrison, Michael$047573 245 10$aFormal methods in human-computer interaction /$cedited by Michael Harrison and Harold Thimbleby 260 $aCambridge :$bCambridge University Press,$cc1990 300 $axi, 323 p. ;$c25 cm. 490 0 $aCambridge series on human-computer interaction ;$v2 650 4$aMonitors and operating systems 650 4$aProgramming 700 1 $aThibleby, Harold 907 $a.b10773289$b23-02-17$c28-06-02 912 $a991000901659707536 945 $aLE013 68N HAR21 (1990)$g1$i2013000051451$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10871895$z28-06-02 996 $aFormal methods in human computer interaction$9177111 997 $aUNISALENTO 998 $ale013$b01-01-96$cm$da $e-$feng$guk $h0$i1 LEADER 03350nam 22007455 450 001 9910337852203321 005 20251225190617.0 010 $a3-030-22397-3 024 7 $a10.1007/978-3-030-22397-7 035 $a(CKB)4100000008347183 035 $a(DE-He213)978-3-030-22397-7 035 $a(MiAaPQ)EBC5926047 035 $a(PPN)242823610 035 $a(EXLCZ)994100000008347183 100 $a20190604d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages $e21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17?21, 2019, Proceedings /$fedited by Hanne Riis Nielson, Emilio Tuosto 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIV, 267 p. 934 illus., 103 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11533 300 $aIncludes Index. 311 08$a3-030-22396-5 327 $aComputational models -- Tools -- Exploring new frontiers -- Coordination patterns. 330 $aThis book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019. The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11533 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aComputer systems 606 $aComputer networks 606 $aSoftware Engineering 606 $aOperating Systems 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer System Implementation 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aCompilers (Computer programs) 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer System Implementation. 615 24$aComputer Communication Networks. 676 $a005 676 $a005.1 702 $aRiis Nielson$b Hanne$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTuosto$b Emilio$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337852203321 996 $aCoordination Models and Languages$9772324 997 $aUNINA