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: computer-engineering]”

Filters

Products

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System

Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Paperback

Current price ₹5,776
Original price ₹5,849
Original price ₹5,849
Original price ₹5,849
(-1%)
₹5,776
Current price ₹5,776

• Author(s): Marco Bernardo | Vittorio Cortellessa | Alfonso Pierantonio • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,

Marco Bernardo

Paperback

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): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th editi...

View full details

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm

Marco Bernardo

Paperback

Current price ₹3,348
Original price ₹5,150
Original price ₹5,150
Original price ₹5,150
(-35%)
₹3,348
Current price ₹3,348

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book presents 5 tutorial lectures given by leading researchers at the 13th edition of...

View full details