Michael Mislove – författare

Visar alla böcker från författaren Michael Mislove. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Mathematical Foundations of Information Flow

   Av Samson Abramsky, Michael Mislove

   Inbunden, 2012

   1546 kr

   Lägg i varukorg

   This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12-15, 2008, at Tulane University in New Orleans, Louisiana. The varying perspectives of the researchers are evident in the topics represented in the volume, including …

2. 

   Mathematical Foundations of Programming Language Semantics

   3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings

   Av Michael Main, Austin Melton m. fl.

   Häftad, 1988

   551 kr

   Lägg i varukorg

   This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd …

3. 

   Mathematical Foundations of Programming Semantics

   7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings

   Av Stephen Brookes, Michael Main m. fl.

   Häftad, 1992

   551 kr

   Lägg i varukorg

   This volume contains the proceedings of the SeventhInternational Conferenceon the Mathematical Foundations ofProgramming Semantics, held at Carnegie Mellon University,March 1991.The conference continued a series of annual meetings,alternating between workshop and conference formats,intended to …

4. 

   Mathematical Foundations of Programming Semantics

   9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

   Av Stephen Brookes, Michael Main m. fl.

   Häftad, 1994

   1127 kr

   Lägg i varukorg

   This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the …