Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Theory and Formal Methods 1993

Theory and Formal Methods 1993 - Bog

- Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

indgår i Workshops in Computing serien

Theory and Formal Methods 1993
Bag om Theory and Formal Methods 1993

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540198420
  • Indbinding:
  • Paperback
  • Sideantal:
  • 329
  • Udgivet:
  • 24. september 1993
  • Udgave:
  • 11993
  • Størrelse:
  • 235x155x18 mm.
  • Vægt:
  • 570 g.
  • 8-11 hverdage.
  • 22. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Theory and Formal Methods 1993

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines.

Brugerbedømmelser af Theory and Formal Methods 1993



Andre købte også..
Find lignende bøger
Bogen Theory and Formal Methods 1993 findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.