Formal Software Development / Najlacnejšie knihy
Formal Software Development

Kód: 04601186

Formal Software Development

Autor Quentin Charatan, Aaron Kans

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive t ... celý popis

101.98

Bežne: 102.03 €

Ušetríte 0.05 €


Skladom u dodávateľa
Odosielame za 10 - 18 dní
Pridať medzi želanie

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

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

Viac informácií

Viac informácií o knihe Formal Software Development

Nákupom získate 247 bodov

Anotácia knihy

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

101.98

Obľúbené z iného súdka



Osobný odber Bratislava a 12744 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies


Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Nákupný košík ( prázdny )

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: