Many books focus on increasing the quality of software through the use of formal methods. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community.
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle. Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.