LEADER 00983nam a2200277 i 4500
001 991002011349707536
005 20020508185007.0
008 010704s1982    it            ||| | ita  
035   $ab1094607x-39ule_inst
035   $aPARLA152857$9ExL
040   $aDip.to Filosofia$bita
082 0 $a370.1523
100 1 $aReboul, Olivier$0157392
245 10$aApprendimento, insegnamento e competenza :$bper una nuova filosofia dell'educazione /$cOlivier Reboul
260   $aRoma :$bArmando,$c1982
300   $a152 p. ;$c24 cm.
440  2$aI problemi della didattica ;$v110
650  4$aApprendimento
650  4$aCompetenza
650  4$aDidattica
907   $a.b1094607x$b21-09-06$c28-06-02
912   $a991002011349707536
945   $aLE005IF XL D 10$g1$i2005000283932$lle005$o-$pE0.00$q-$rl$s-  $t0$u1$v2$w1$x0$y.i11053343$z28-06-02
996   $aApprendimento, insegnamento e competenza$9193062
997   $aUNISALENTO
998   $ale005$b01-01-01$cm$da  $e-$fita$git $h0$i1

LEADER 03142nam  22005775  450 
001 9910254829603321
005 20251116172409.0
010   $a3-319-55559-6
024 7 $a10.1007/978-3-319-55559-1
035   $a(CKB)3710000001176698
035   $a(DE-He213)978-3-319-55559-1
035   $a(MiAaPQ)EBC4841623
035   $a(PPN)200513052
035   $a(EXLCZ)993710000001176698
100   $a20170413d2017      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProcess algebras for Petri nets $ethe alphabetization of distributed systems /$fby Roberto Gorrieri
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIII, 302 p. 64 illus., 4 illus. in color.)
225 1 $aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654
311 08$a3-319-55558-8 
320   $aIncludes bibliographical references and index.
327   $aIntroduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous Parallel Composition: CFM and BPP -- Adding Communication and Restriction: FNC -- Adding Multi-party Communication: FNM -- Adding Atomic Tests for Absence: NPL -- Generalizations and Conclusions.
330   $aThis book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.
410  0$aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654
606   $aComputers
606   $aLogic, Symbolic and mathematical
606   $aSoftware engineering
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
615  0$aComputers.
615  0$aLogic, Symbolic and mathematical.
615  0$aSoftware engineering.
615 14$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
615 24$aSoftware Engineering/Programming and Operating Systems.
676   $a005.1015115
700   $aGorrieri$b Roberto$4aut$4http://id.loc.gov/vocabulary/relators/aut$0597785
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910254829603321
996   $aProcess Algebras for Petri Nets$92502514
997   $aUNINA