Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[Subject: programming-algorithms]”

Filters

Products

Principles of Program Analysis

Flemming Nielson

Hardcover

Current price ₹5,458
Original price ₹8,396
Original price ₹8,396
Original price ₹8,396
(-35%)
₹5,458
Current price ₹5,458

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. ...

View full details

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson

Hardcover

Current price ₹15,550
Original price ₹15,778
Original price ₹15,778
Original price ₹15,778
(-1%)
₹15,550
Current price ₹15,550

• Author(s): Flemming Nielson | Hanne Riis Nielson • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralThe authors describe here a framework in which the type notation of...

View full details

ML With Concurrency: Design, Analysis, Implementation, and Application

Flemming Nielson

Hardcover

Current price ₹6,822
Original price ₹13,643
Original price ₹13,643
Original price ₹13,643
(-50%)
₹6,822
Current price ₹6,822

• Author(s): Flemming Nielson • Publisher: Springer Verlag • Publisher Imprint: Springer V • Subject: Computer Science and Information TechnologyAbout the Book Both functional and concurrent programming are relatively new paradigms with great pro...

View full details

Formal Methods: An Appetizer

Flemming Nielson

Hardcover

Current price ₹3,639
Original price ₹5,597
Original price ₹5,597
Original price ₹5,597
(-35%)
₹3,639
Current price ₹3,639

• Author(s): Flemming Nielson • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceFrom the Back CoverThis textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to te...

View full details