01249nam 2200373Ia 450 99638699250331620221108044338.0(CKB)1000000000614101(EEBO)2240869961(OCoLC)64551374(EXLCZ)99100000000061410120060306d1674 uy 0engurbn#|||a|bb|A letter from the camp near the river Ricton the fourteenth of August[electronic resource]London [s.n.]Printed in the year 16741 sheet ([1] p.)Caption title.Signed: R. M.Imprint from colophon.Imperfect: broadside has faded print.Reproduction of original in: Harvard University. Library.eebo-0062Anglo-Dutch War, 1664-1667SourcesGreat BritainHistoryCharles II, 1660-1685SourcesBroadsidesEngland17th century.rbgenrAnglo-Dutch War, 1664-1667R. M1007498UMIUMIBOOK996386992503316A letter from the camp near the river Ricton the fourteenth of August2402800UNISA03566nam 22006855 450 99646569700331620230222043258.0978354031959710.1007/b107129(CKB)1000000000212891(SSID)ssj0000319775(PQKBManifestationID)11255741(PQKBTitleCode)TC0000319775(PQKBWorkID)10338568(PQKB)11689991(DE-He213)978-3-540-31959-7(MiAaPQ)EBC3067862(PPN)123093260(EXLCZ)99100000000021289120100707d2005 u| 0engurnn#008mamaatxtccrRecent Trends in Algebraic Development Techniques[electronic resource] 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 280 p.)Theoretical Computer Science and General Issues,2512-2029 ;3423"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Pref.3-540-31959-X 3-540-25327-0 Includes bibliographical references and index.Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologies for the Semantic Web in Casl -- Theoroidal Maps as Algebraic Simulations -- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems -- A Simple Refinement Language for Casl -- A Distributed and Mobile Component System Based on the Ambient Calculus -- Application and Formal Specification of Sorted Term-Position Algebras -- From Conditional to Unconditional Rewriting -- Type Class Polymorphism in an Institutional Framework -- Architectural Specifications for Reactive Systems.Theoretical Computer Science and General Issues,2512-2029 ;3423Software engineeringComputer scienceMachine theoryComputer science—MathematicsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySymbolic and Algebraic ManipulationSoftware engineering.Computer science.Machine theory.Computer science—Mathematics.Software Engineering.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.005.1Fiadeiro José Luizedthttp://id.loc.gov/vocabulary/relators/edtMosses Peteredthttp://id.loc.gov/vocabulary/relators/edtOrejas Fernandoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465697003316Recent Trends in Algebraic Development Techniques771917UNISA