Automated Theorem Proving In Software Engineering

€ 84,00
+ € 10,49 Verzending

Automated Theorem Proving In Software Engineering

Verkocht door:
  • product image

€ 84,00

Op voorraad
+ € 10,49 Verzending

14-dagen retourbeleid

Kopersbescherming

Betaalmethoden:

Productdetails

Productdetails

Automated Theorem Proving In Software Engineering

Growing Demands For The Quality, Safety, And Security Of Software Can Only Be Satisfied By The Rigorous Application Of Formal Methods During Software Design. This Book Methodically Investigates The Potential Of First-order Logic Automated Theorem Provers For Applications In Software Engineering. Illustrated By Complete Case Studies On Protocol Verification, Verification Of Security Protocols, And Logic-based Software Reuse, This Book Provides Techniques For Assessing The Provers Capabilities And For Selecting And Developing An Appropriate Interface Architecture.
  • Merk: Springer Nature B.V
  • Categorie: Computers & Internet
  • Auteur: Springer Nature B.V
  • Uitgever / Label: Springer Nature B.V
  • Formaat: Hardcover
  • Aantal pagina's: 250
  • Verschijningsdatum: 2001-06-20
  • Taal: English
  • Fruugo-ID: 557238648-1125508316
  • ISBN: 9783540679899
Belofte

Garantie van de verkoper

Wettelijke garantie van 2 jaar inbegrepen

Uw consumentenrechten binnen de EU omvatten een gratis wettelijke garantie van ten minste 2 jaar

Download de wettelijke conformiteitsgarantie
Levering

Levering

Wordt binnen 24 uur verzonden

  • STANDARD: € 15,94 - Levering tussen di 10 november 2026–vr 13 november 2026

Verzending vanaf Verenigd Koninkrijk.

Retourneren

Retourneren & Annuleren

Retourneren

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen.

Bekijk het volledige retourbeleid

Annuleren

U heeft het recht om uw aankoop binnen 14 dagen na ontvangst van uw bestelling zonder opgave van reden te herroepen. Om eenvoudig van uw recht gebruik te maken, kunt u de link 'Mijn bestelling annuleren' in de voettekst van elke pagina of in uw Fruugo-account onder 'Bestellingen' gebruiken. Zodra u van uw herroepingsrecht gebruikmaakt, sturen wij u een bevestiging per e-mail. Als uw bestelling al door de verkoper is verzonden, zullen wij u de nodige retourinstructies verstrekken om ervoor te zorgen dat uw terugbetaling snel wordt verwerkt.

Bekijk het volledige annuleringsbeleid