Products
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems,
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• 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 Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Current price
₹3,526
Original price
₹5,424
Original price
₹5,424
Original price
₹5,424
(-35%)
₹3,526
Current price
₹3,526
• 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,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• 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,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• 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 Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• 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 Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm
Current price
₹3,379
Original price
₹5,198
Original price
₹5,198
Original price
₹5,198
(-35%)
₹3,379
Current price
₹3,379
• 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
