Products
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 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 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
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 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 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 Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm
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
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System
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 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 Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S
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 & DesiThis volume presents the set of papers accompanying the lectures of the eighth Internatio...
View full details
