Products
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,
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 Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys
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 8 tutorial lectures given by leading researchers at the 14th edition of the International ...
View full details
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Current price
₹3,494
Original price
₹5,374
Original price
₹5,374
Original price
₹5,374
(-35%)
₹3,494
Current price
₹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 the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,
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 - GeneralFrom the Back CoverThis book presents 8 tutorial lectures given by leading researchers at the 16th edition of...
View full details
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
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 - 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 Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Current price
₹5,681
Original price
₹6,818
Original price
₹6,818
Original price
₹6,818
(-17%)
₹5,681
Current price
₹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 Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,
Current price
₹3,345
Original price
₹5,145
Original price
₹5,145
Original price
₹5,145
(-35%)
₹3,345
Current price
₹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 the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys
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: 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 Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M
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 - Systems Analysis & DesiThisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the Internationa...
View full details
