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: computers-software]”

Filters

₹
₹
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, by Marco Bernardo

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Marco Bernardo

Paperback

₹3,494
₹5,374
₹5,374
₹5,374
(-35%)
₹3,494
₹3,494

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

View full details
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, by Marco Bernardo

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,

Marco Bernardo

Paperback

₹3,345
₹5,145
₹5,145
₹5,145
(-35%)
₹3,345
₹3,345

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis book presents a set of 8 papers accompanying the lectures of leading researchers give...

View full details
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm by Marco Bernardo

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

Marco Bernardo

Paperback

₹3,348
₹5,150
₹5,150
₹5,150
(-35%)
₹3,348
₹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
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, by Marco Bernardo

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

Marco Bernardo

Paperback

₹3,639
₹5,597
₹5,597
₹5,597
(-35%)
₹3,639
₹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 Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, by Marco Bernardo, Alessandro Cimatti

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Marco Bernardo, Alessandro Cimatti

Paperback

₹5,681
₹6,818
₹6,818
₹6,818
(-17%)
₹5,681
₹5,681

• Author(s): Marco Bernardo | Alessandro Cimatti • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming Languages - GeneralThis book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of ...

View full details
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys by Marco Bernardo

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Marco Bernardo

Paperback

₹3,639
₹5,597
₹5,597
₹5,597
(-35%)
₹3,639
₹3,639

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International ...

View full details
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M by Marco Bernardo

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M

Marco Bernardo

Paperback

₹3,639
₹5,597
₹5,597
₹5,597
(-35%)
₹3,639
₹3,639

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the Internationa...

View full details
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems by Marco Bernardo

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems

Marco Bernardo

Paperback

₹3,639
₹5,597
₹5,597
₹5,597
(-35%)
₹3,639
₹3,639

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralIn the past ten years or so, software architecture has emerged as a central notion in the development of comp...

View full details
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S by Marco Bernardo

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S

Marco Bernardo

Paperback

₹3,639
₹5,597
₹5,597
₹5,597
(-35%)
₹3,639
₹3,639

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis volume presents the set of papers accompanying the lectures of the eighth Internatio...

View full details
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

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

₹5,776
₹5,849
₹5,849
₹5,849
(-1%)
₹5,776
₹5,776

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

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys by Marco Bernardo

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys

Marco Bernardo

Paperback

₹3,639
₹5,597
₹5,597
₹5,597
(-35%)
₹3,639
₹3,639

• Author(s): Marco Bernardo • Publisher: Springer • Publisher Imprint: Springer • BISAC: Canada - GeneralA large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesy...

View full details
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw by Marco Bernardo, Valerie Issarny

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw

Marco Bernardo, Valerie Issarny

Paperback

₹5,665
₹6,798
₹6,798
₹6,798
(-17%)
₹5,665
₹5,665

• Author(s): Marco Bernardo | Valerie Issarny • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science

Home
Genres
Account
Chat