サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
大谷翔平
lamport.azurewebsites.net
The TLA+ Video Course Last modified 23 October 2021 This is a series of video lectures to teach programmers and software engineers how to write their own TLA+ specifications. It assumes a basic understanding of programming concepts. Some knowledge of elementary mathematics, such as might be taught in a beginning university math course for computer scientists, would also be helpful. A Word of War
This book won an award for its cover design at the New England Book Show. A production editor at Addison-Wesley wrote: For those of you who are unfamiliar with the Book Show, I think of it as the Emmys of book production. Many different publishers participate, competition is steep, and there [are] often hundreds of nominations for the judges to review. The book Specifying Systems: The TLA+ Languag
Leslie Lamport Last modified on Fri 1 March 2024 at 16:38:51 PST by lamport --> This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design er
Why Don't Computer Scientists Learn Math? Last modified 28 March 2017 I recently attended the Heidelberg Laureate Forum, in which some older researchers--mainly Fields Medalists and Turing Award winners--talked to and with young researchers. The young researchers ranged from a few students just entering university to young faculty members, most being graduate students. They came from all over th
This URL is Obsolete Leslie Lamport Last modified on 30 December 2018
My Coordinates 37° 24' 14" North 122° 2' 6" West address: Microsoft Corporation 1020 Enterprise Way Sunnyvale, CA 94089 U.S.A. email: I am happy to receive email from people, but not from spammers. So, please do not put my email address on the Web in plain text. You may post this gif file if you wish.
You'll miss a lot on this web site unless you enable Javascript in your browser. This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design e
Last modified 13 June 2024 This document is a sort of scientific autobiography. It not only lists the papers I have written, but also describes them and explains how I came to write some of them. I have included almost all my technical papers and electronic versions of many of them for downloading. Omitted are some papers for which I no longer have copies and papers that are incomplete. I have
Last modified 29 April 2024 This document is a sort of scientific autobiography. It not only lists the papers I have written, but also describes them and explains how I came to write some of them. I have included almost all my technical papers and electronic versions of many of them for downloading. Omitted are some papers for which I no longer have copies and papers that are incomplete. I hav
このページを最初にブックマークしてみませんか?
『Leslie Lamport's Home Page』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く