Kód: 15802752

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer International Publishing AG
SKU: 15802752
Price: 55.84 EUR
Availability: InStock
Author: Sergiy Bogomolov
ISBN: 9783319542911

Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 107
Nakladateľ: Springer International Publishing AG, 2017
Viac informácií o knihe

55.84 €

Skladom u dodávateľa v malom množstve
Odosielame za 13 - 18 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Tailored Realities
25.69 € -27 %
Kúpiť
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More
23.46 € -30 %
Kúpiť
The 31st Consort, Vol. 1
10.01 € -24 %
Kúpiť
Intermezzo
17.29 € -16 %
Kúpiť
Complete Illustrated Guide to Beading & Making Jewellery
16.08 € -24 %
Kúpiť
Understanding Financial Risk Management, Third Edition
74.25 €
Kúpiť
Key Words with Peter and Jane Level 3b - We Can Fix It!
4.54 € -25 %
Kúpiť
Demencja. Podstawy
16.68 €
Kúpiť
Soziale Akte, Sprechakte Und Textillokutionen
168.76 € -4 %
Kúpiť
Concise History of Veterinary Medicine
96.01 €
Kúpiť
Summer Stock
20.33 € -24 %
Kúpiť
When I Was a Boy
48.45 €
Kúpiť
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft
13.04 € -2 %
Kúpiť
Arboretum America
25.08 € -25 %
Kúpiť
Mining and Farming in Minecraft
28.93 € -9 %
Kúpiť
Food Protein Sources
42.99 €
Kúpiť
Le second enfer d'Etienne Dolet
44.51 € -14 %
Kúpiť
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book
6.16 € -6 %
Kúpiť
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization
32.77 € -2 %
Kúpiť
A SURVEY OF GREEK CIVILIZATION
32.77 € -2 %
Kúpiť
Transforming Conflict through Communication in Personal, Family, and Working Relationships
65.55 €
Kúpiť
Cajal. El arte de la ciencia.
41.88 €
Kúpiť
Stones of Christ Church
38.64 € -20 %
Kúpiť
Uysal Kiz
10.21 € -4 %
Kúpiť
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien
21.44 € -11 %
Kúpiť
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883)
21.14 € -1 %
Kúpiť
He Went for a Soldier
29.23 € -1 %
Kúpiť
All'improvviso a New York
11.93 €
Kúpiť
Logbuch für Venedig oder Bündnis Christine de Pizan
23.36 € -11 %
Kúpiť
La fada negra
29.84 € -9 %
Kúpiť
Ecclesiastical Tracts Formerly Published
24.98 € -24 %
Kúpiť
Crystal Field Effects in Metals and Alloys
102.99 € -7 %
Kúpiť
OPERACIÓ MISS BOMBÓ
11.93 €
Kúpiť
Anthony Munday and Civic Culture
31.25 € -9 %
Kúpiť
Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye,
25.59 € -2 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Numerical Software Verification

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer hardware Network hardware

55.84 €

Celý názov: Numerical Software Verification
Podnázov: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Autor: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 107
EAN: 9783319542911
ISBN: 3319542915
ID: 15802752
Nakladateľ: Springer International Publishing AG
Hmotnosť: 1883 g
Rozmery: 235 × 155 × 7 mm
Dátum vydania: 17. February 2017