LinuxQuestions.org
Download your favorite Linux distribution at LQ ISO.
Go Back   LinuxQuestions.org > Forums > LinuxQuestions.org > Linux - News > Syndicated Linux News
User Name
Password
Syndicated Linux News This forum is for the discussion of Syndicated Linux News stories.

Notices



Reply
 
Search this Thread
Old 05-31-2008, 05:10 AM   #1
LXer
LXer NewsBot
 
Registered: Dec 2005
Posts: 76,271

Rep: Reputation: 87
LXer: Looking At Formal Systems On Linux and Unix


Published at LXer:

Introduction to formal systems and an exercise to demonstrate.

Read More...
 
  


Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
LXer: Managing with Net-SNMP and IPython in UNIX and Linux systems LXer Syndicated Linux News 0 12-15-2007 04:30 AM
LXer: Securing Linux/Unix Systems - Part One LXer Syndicated Linux News 0 08-15-2007 05:10 PM
LXer: Linux replaces Unix on CitiStreet systems LXer Syndicated Linux News 0 11-09-2006 10:54 PM
LXer: Performance tuning UNIX systems LXer Syndicated Linux News 0 04-11-2006 05:03 AM
LXer: Kde flaws put Linux, Unix systems at risk LXer Syndicated Linux News 0 01-20-2006 07:16 PM


All times are GMT -5. The time now is 10:06 PM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
identi.ca: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration