Formal Techniques for Java-like Programs

Formal Techniques for Java-like ProgramsShort Description
11.30 - 13.00: session 2. . Transposing F to C#. Andrew Kennedy and Don Syme. . Simple Verification Technique for Complex Java Bytecode Subroutines …

Website: www.springerlink.com | Filesize: -

Content

Get the file Download here

AddThis Social Bookmark Button
Related Books:
  • Java CGI HOWTO
  • Java Programming Made Fun and Easy!
  • SL-110
  • An Axiomatic Basis for Computer Programming
  • Review of The π-calculus A Theory of Mobile Processes
  • Introducing the Java Message Service
  • Java Programming Language SL-275
  • Active C#

    • Filed Under C Sharp, Programming 

    Related Searches: , , , ,



    Comments

    Leave a Reply