-
451. Nasa Formal Methods
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031067723
Format: EPUB eBook
Digital download
$64.50
-
452. Leveraging Applications of Formal Methods, Verific
Seller Description: Brand New. New. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031197550
Paperback, New
New Delhi, DELHI, INDIA
$64.61
-
453. Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
by Tapia Tarifa, Silvia Lizeth (Editor), and Proença, José (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 245 p. 51 illus., 25 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: 9783031208713
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$64.81
-
454. 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. 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: 9783031086786
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$64.92
-
455. Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
by Tapia Tarifa, Silvia Lizeth (Editor), and Proença, José (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 245 p. 51 illus., 25 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: 9783031208713
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$65.14
-
456. Integrated Formal Methods
Seller Description: Brand New. New. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031077265
Paperback, New
New Delhi, DELHI, INDIA
$66.50
-
457. Integrated Formal Methods
Seller Description: Brand New. New. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031077265
Paperback, New
New Delhi, DELHI, INDIA
$67.17
-
458. Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
by Lima, Lucas (Editor), and Molnár, Vince (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XIV, 143 p. 36 illus., 20 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031224751
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$67.54
-
459. Complex Data Analytics With Formal Concept Analysis
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783030932770
Edition: 2022 edition
Format: EPUB eBook
Digital download
$67.60
-
460. Formal Techniques for Distributed Objects, Components, and Systems
Seller Description: PLEASE NOTE, WE DO NOT SHIP TO DENMARK. 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
Fairford, GLOUCESTERSHIRE, UNITED KINGDOM
$68.65
-
461. Software Engineering and Formal Methods
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031171079
Format: EPUB eBook
Digital download
$69.99
-
462. 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
$71.40
-
463. 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
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$71.75
-
464. 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: Fine. 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. 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: 9783031086786
Paperback, Fine/Like New
Columbia, MD, USA
$71.97
-
465. 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. 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: 9783031086786
Paperback, New
Columbia, MD, USA
$72.22
-
466. 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
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$72.47
-
467. Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
by Tapia Tarifa, Silvia Lizeth (Editor), and Proença, José (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 245 p. 51 illus., 25 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: 9783031208713
Paperback, Fine/Like New
Columbia, MD, USA
$73.66
-
468. Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
by Tapia Tarifa, Silvia Lizeth (Editor), and Proença, José (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 245 p. 51 illus., 25 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: 9783031208713
Paperback, New
Columbia, MD, USA
$73.91
-
469. Integrated Formal Methods
Seller Description: PLEASE NOTE, WE DO NOT SHIP TO DENMARK. 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: 9783031077265
Softcover, New
Fairford, GLOUCESTERSHIRE, UNITED KINGDOM
$74.26
-
470. 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. Print on demand 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
NV, USA
$74.75
-
471. Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
by Dong, Wei (Editor), and Talpin, Jean-Pierre (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXII, 235 p. 59 illus., 42 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031212123
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$75.10
-
472. Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
by Tapia Tarifa, Silvia Lizeth (Editor), and Proença, José (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 245 p. 51 illus., 25 illus. in color. Intended for professional and scholarly audience. See More Details
2022, Springer International Publishing AG
ISBN-13: 9783031208713
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$75.10
|
