| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:335427677:3913 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:335427677:3913?format=raw |
LEADER: 03913mam a2200373 a 4500
001 1379050
005 20220602022102.0
008 930901t19931993gw a 000 0 eng
010 $a 93021317
020 $a354057316X :$cDM 80
020 $a038757316X (U.S.)
035 $a(OCoLC)ocm28851396
035 $9AHN5401CU
035 $a(NNC)1379050
035 $a1379050
040 $aDLC$cDLC$dOrLoB-B
050 00 $aQA76.6$b.F577 1993
082 00 $a005.1$220
245 00 $aFormal methods in programming and their applications :$binternational conference, Academgorodok, Russia, June/July 1993 : proceedings /$cDines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c[1993], ©1993.
300 $aix, 433 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science ;$v735
505 00 $tTheory of Domains and Nearby /$rYu. L. Ershov --$tPredicative Programming - A Survey /$rJ. Grundy --$tA Three-Valued Logic for Refinement /$rJ. Grundy --$tA Compositional Semantics of Combining Forms for Gamma Programs /$rD. Sands --$tAlgebraic Properties of Loop Invariants /$rG. Futschek --$tAn Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing /$rW. Reif --$tAlgebraic Modelling of Imperative Languages with Pointers /$rA. V. Zamulin --$tGalois Connection Based Abstract Interpretations for Strictness Analysis /$rP. Cousot and R. Cousot --$tEfficient Chaotic Iteration Strategies with Widenings /$rF. Bourdoncle --$tSemantic Analysis of Interval Congruences /$rF. Masdupuy --$tPolymorphic Typing for Call-By-Name Semantics /$rB. Monsuez --$tLogic Program Testing Based on Abstract Interpretation /$rL. Lu and P. Greenfield --$tAnalysis of Some Semantic Properties for Programs of the Applicative Language AL /$rV. Sabelfeld --
505 80 $tCommunication as Unification in Process Algebras: Operational Semantics /$rPh. Jorrand --$tFunctional Development of Massively Parallel Programs /$rP. Pepper, J. Exner and M. Sudholt --$tObserving Some Properties of Event Structures /$rI. B. Virbitskaite --$tThe Other Linear Logic /$rM. Taitslin and D. Arkhangelsky --$tDuration Calculi: An Overview /$rCh. Zhou --$tA Unique Formalism for Specifying and Designing Objects in a Parallel Environment /$rJ. P. Bahsoun, C. Servieres and C. Seguin --$tOn the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers /$rA. M. Haeberer, G. A. Baum and G. Schmidt --$tSaturation Replaces Induction for a Miniscoped Linear Temporal Logic /$rR. Pliuskevicius --$tA Formal Approach to Requirements Engineering /$rF. Nickl and M. Wirsing --$tA Two-Phase Approach to Reverse Engineering Using Formal Methods /$rG. C. Gannod and B. H. C. Cheng --
505 80 $tAlgebraically Provable Specification of Optimized Compilations /$rV. Levin --$tFormal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling /$rH. Lutfiyya, B. McMillin and A. Su --$tREAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties /$rV. Nepomniaschy and N. Shilov --$tAlgebraic Calculation of Graph and Sorting Algorithms /$rB. Moller --$tAutomatical Synthesis of Programs with Recursions /$rA. P. Beltiukov --$tParsing in ISBES /$rE. A. Boiten.
650 0 $aComputer programming.$0http://id.loc.gov/authorities/subjects/sh85107310
700 1 $aBjørner, D.$q(Dines),$d1937-$0http://id.loc.gov/authorities/names/n82058414
700 1 $aBroy, M.,$d1949-$0http://id.loc.gov/authorities/names/n79060851
700 1 $aPottosin, I. V.$0http://id.loc.gov/authorities/names/n81117026
830 0 $aLecture notes in computer science ;$v735.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.6$i.F577 1993