skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-

Berlin Springer Verlag New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1422 ) e outros locais(Acessar)

  • Título:
    Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
  • Autor: International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden)
  • Johan Jeuring 1965-
  • Assuntos: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses; TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); TEORIA DA COMPUTAÇÃO; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
  • Notas: Includes bibliographical references and index
  • Descrição: On the aesthetics of diagrams / David Harel -- Generalising monads / John Hughes -- A proof rule for control loops / Burghard von Karger -- Relation-algebraic derivation of spanning tree algorithms / Rudolf Berghammer, Burghard von Karger,Andreas Wolf -- An application of program derviation techniques to 18th-century mathematics / A. Bijlsma -- Nested datatypes / Richard Bird, Lambert Meertens -- An approach to object-orientation in action systems /Marcello M. Bosangue, Joost N.Kok, Kaisa Sere -- Layered graph traversals and Hamiltonian path problems : an algebraic approach / Thomas Brunn, Bernhard Möller, Martin Russling -- A unifying framework for correct program construction / Henning Dierks, Michael Schenke --Computation calculus : bridging a formalization gap / Rutger M. Dijkstra -- An elementary derivation of the alternating bit protocol / W.H.J. Feijen, A.J.M. van Gasteren, Birgit Schieder -- A set-theoretic model for real-time specification andreasoning / C.J. Fidge ... [et al.] -- Polytypic
  • Títulos relacionados: Série:Lecture notes in computer science 1422
  • Editor: Berlin Springer Verlag New York
  • Data de criação/publicação: c1998
  • Formato: x, 382 p. ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  18 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.