Software Tools

Reactive Systems

Reactive Systems

Price: $60*
(eBooks)

Buy Now!

Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems.


Merchant: eBooks


Internet Connection Kit

Internet Connection Kit

Price: $149*
(Software Store)

Buy Now!

ConKit is a set of software tools designed to help developers who implement custom Internet Connection kits.


Merchant: Software Store


Office Work Software Form Tool 6 ( Windows )

Office Work Software Form Tool 6 ( Windows )

Price: $27.99*
(J&R Music & Computer World)

Buy Now!

Save time, money and paper by customizing forms for any occasion!


Merchant: J&R Music & Computer World


Thomson Technologies MIDI Sequencing In Reason: Skill Pack Book/CD-ROM

Thomson Technologies MIDI Sequencing In Reason: Skill Pack Book/CD-ROM

Price: $29.99*
(Musician's Friend)

Buy Now!

Reason is a complete virtual studio, a powerful application with endless creative possibilities. This book/CD-ROM is filled with sample content and examples you can use to build a song and learn all the MIDI-sequencing intricacies of this dynamic software.


Merchant: Musician's Friend


Vermont HighTest Plus 3.5

Vermont HighTest Plus 3.5

Price: $195*
(Software Store)

Buy Now!

An Automated Software Testing Tool for Windows


Merchant: Software Store


Intelligent Software For Product Formulation

The process of formulating pharmaceuticals, agrochemicals, speciality chemicals or any of the other many formulated products is a highly formulated task.


Merchant: eBooks