Browse

Genres Shelves Premium Blog

Company

About Jobs Partners Sell on Lex Affiliates

Resources

Docs Invite Friends FAQ

Legal

Terms of Service Privacy Policy general@lex-books.com (215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Home Genres Deals

Frank S. de Boer — Author | Lex | Lex

F

Frank S. de Boer

3 works on record

Works

Formal methods for components and objects

Formal methods for components and objects

Formal Methods for Components and Objects

Lecture Notes in Computer Science

Formal Methods for Components and Objects Lecture Notes in Computer Science

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Author data from Open Library.