| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:235198880:4732 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:235198880:4732?format=raw |
LEADER: 04732cam a22003974a 4500
001 4228097
005 20221027061543.0
008 031112s2003 nyu b 101 0 eng
010 $a 2003065502
016 7 $a969191200$2GyFmDB
020 $a3540205373 (alk. paper)
035 $a(OCoLC)ocm53477065
035 $a(NNC)4228097
035 $a4228097
040 $aDLC$cDLC$dOHX$dNNC$dOrLoB-B
042 $apcc
050 00 $aQA76.76.D47$bW33 2002
072 7 $aQA$2lcco
082 00 $a005.1$222
111 2 $aWADT 2002$d(2002 :$cFrauenchiemsee, Germany)$0http://id.loc.gov/authorities/names/n2003014835
245 10 $aRecent trends in algebraic development techniques :$b16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /$cMartin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
260 $aNew York :$bSpringer-Verlag,$c2003.
300 $aviii, 456 pages :$billustrations, music ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v2755
504 $aIncludes bibliographical references and index.
505 00 $tAGILE: Software Architecture for Mobility /$rL. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola, J. L. Fiadeiro, F. Gadducci, S. Gnesi, P. Hoffman, N. Koch, P. Kosiuczenko, A. Lapadula, D. Latella, A. Lopes, M. Loreti, M. Massink, F. Mazzanti, U. Montanari, C. Oliveira, R. Pugliese, A. Tarlecki, M. Wermelinger, M. Wirsing and A. Zawlocki -- $tA Coinductive Calculus of Component Connectors /$rF. Arbab and J. J. M. M. Rutten -- $tAn Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint /$rE. Astesiano and G. Reggio -- $tMultiMedia Instruction in Safe and Secure Systems /$rB. Krieg-Bruckner, D. Hutter, A. Lindow, C. Luth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus and M. Wirsing -- $tZero, Connected, Empty /$rR. A. Goguen and J. A. Goguen -- $tZero, Connected, Empty: An Essay after a Cantata /$rJ. A. Goguen and R. A. Goguen -- $tType Checking Parametrised Programs and Specifications in ASL+[subscript FPC] /$rD. Aspinall -- $tPre-nets, Read Arcs and Unfolding: A Functional Presentation /$rP. Baldan, R. Bruni and U. Montanari -- $tCoreflective Concurrent Semantics for Single-Pushout Graph Grammars /$rP. Baldan, A. Corradini, U. Montanari and L. Ribeiro -- $tCompleteness Results for Fibred Parchments /$rC. Caleiro, P. Gouveia and J. Ramos -- $tUse of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs /$rC. Choppy and M. Heisel -- $tConditional Circular Coinductive Rewriting with Case Analysis /$rJ. A. Goguen, K. Lin and G. Rosu -- $tVerifying Generative Casl Architectural Specifications /$rP. Hoffman -- $tAlgebraic Higher-Order Nets: Graphs and Petri Nets as Tokens /$rK. Hoffmann and T. Mossakowski -- $tThe Coinductive Approach to Verifying Cryptographic Protocols /$rJ. Hughes and M. Warnier -- $tBehavioural Equivalence and Indistinguishability in Higher-Order Typed Languages /$rS. Katsumata -- $tApproach-Independent Structuring Concepts for Rule-Based Systems /$rH.-J. Kreowski and S. Kuske -- $tNotions of Behaviour and Reachable-Part and Their Institutions /$rA. Kurz -- $tCombining Specification Formalisms in the 'General Logic' of Multialgebras /$rY. Lamo and M. Walicki -- $tOn How Distribution and Mobility Interfere with Coordination /$rA. Lopes and J. L. Fiadeiro -- $tFoundations of Heterogeneous Specification /$rT. Mossakowski -- $tAlgebraic-Coalgebraic Specification in CoCasl /$rT. Mossakowski, H. Reichel, M. Roggenbach and L. Schroder -- $tTranslating Logics for Coalgebras /$rD. Pattinson -- $tPresenting and Combining Inference Systems /$rW. Pawlowski -- $tMonad-Independent Dynamic Logic in HasCasl /$rL. Schroder and T. Mossakowski -- $tPreserving Properties in System Redesign: Rule-Based Approach /$rM. Urbasek.
650 0 $aComputer software$xDevelopment$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101470
650 0 $aComputer science$xMathematics$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101221
650 0 $aAbstract data types (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2009113370
700 1 $aWirsing, M.$q(Martin)$0http://id.loc.gov/authorities/names/n85281290
700 1 $aPattinson, Dirk,$d1970-$0http://id.loc.gov/authorities/names/n2003014833
700 1 $aHennicker, Rolf,$d1952-$0http://id.loc.gov/authorities/names/n2003014834
830 0 $aLecture notes in computer science ;$v2755.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.76.D47$iW33 2002