-
476. Formal Aspects of Component Software
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031208713
Paperback, New
Irving, TX, USA
$75.21
-
477. Formal Verification of Floating-Point Hardware Design
by David M. Russinoff
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783030871802
Edition: 2nd edition
Format: EPUB eBook
Digital download
$77.35
-
478. Nasa Formal Methods
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031067723
Format: EPUB eBook
Digital download
$77.40
-
479. Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy...
by Mousavi, Mohammad Reza (Editor), and Philippou, Anna (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIV, 209 p. 52 illus., 28 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031086786
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$77.99
-
480. Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
by ter Beek, Maurice H. (Editor), and Monahan, Rosemary (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XV, 373 p. 120 illus., 48 illus. in color. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping ... See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031077265
Paperback, Fine/Like New
Columbia, MD, USA
$78.02
-
481. Leveraging Applications of Formal Methods, Verific
Seller Description: Brand New. New. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031198489
Paperback, New
New Delhi, DELHI, INDIA
$78.15
-
482. Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
by ter Beek, Maurice H. (Editor), and Monahan, Rosemary (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XV, 373 p. 120 illus., 48 illus. in color. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will ... See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031077265
Paperback, New
Columbia, MD, USA
$78.27
-
483. Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
by Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 424 p. 126 illus., 98 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031197611
Paperback, New
Southport, MERSEYSIDE, UNITED KINGDOM
$78.68
-
484. Leveraging Applications of Formal Methods, Verific
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031197550
Paperback, New
Irving, TX, USA
$78.87
-
485. Leveraging Applications of Formal Methods, Verific
Seller Description: Brand New. New. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031198489
Paperback, New
New Delhi, DELHI, INDIA
$78.94
-
486. Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
by Schlingloff, Bernd-Holger (Editor), and Chai, Ming (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVII, 369 p. 384 illus., 75 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031171079
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$81.65
-
487. Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
by Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIII, 424 p. 126 illus., 98 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031197611
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$82.42
-
488. Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
by Groote, Jan Friso (Editor), and Huisman, Marieke (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 245 p. 79 illus., 53 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031150074
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$82.42
-
489. Formal Techniques for Distributed Objects, Components, and Systems
Seller Description: New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK. See More Details
2022, Springer
ISBN-13: 9783031086786
Softcover, New
Bensenville, IL, USA
$82.44
-
490. Descriptional Complexity of Formal Systems
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031132568
Paperback, New
Irving, TX, USA
$82.54
|
